Mathematical Logic and Foundations.

Algorithms in Invariant Theory by: (書目-電子資源)

New Developments in Formal Languages and Applications by: (書目-電子資源)

Mechanizing Mathematical ReasoningEssays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (書目-電子資源)

Computer Science Logic19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / by: (書目-電子資源)

Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (書目-電子資源)

Computer science logic22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings / by: (書目-語言資料,印刷品)

Modalities and multimodalitieswith the assistance and collaboration of Juliana Bueno-Soler / by: (書目-語言資料,印刷品)

Deduction, computation, experimentexploring the effectiveness of proof / by: (書目-語言資料,印刷品)

A geometry of approximationrough set theory: logic, algebra and topology of Conceptual Patterns / by: (書目-語言資料,印刷品)

Combinatorics and graph theor by: (書目-語言資料,印刷品)

From a geometrical point of viewa study of the history and philosophy of category theory / by: (書目-電子資源)

The mathematical coloring bookmathematics of coloring and the colorful life of its creators / by: (書目-電子資源)

Proof theorythe first step into impredicativity / by: (書目-電子資源)

Introduction to boolean algebras by: (書目-電子資源)

Mathematical Olympiad challenges by: (書目-電子資源)

Logicism, intuitionism, and formalismwhat has become of them? / by: (書目-電子資源)

Proof theory for fuzzy logics by: (書目-電子資源)

Gamesunifying logic, language, and philosophy / by: (書目-電子資源)

Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (書目-電子資源)

Logic and integer programming by: (書目-電子資源)

Formal theories of informationfrom Shannon to semantic information theory and general concepts of information / by: (書目-電子資源)

A missing link in cyberneticslogic and continuity / by: (書目-電子資源)

Languages: from formal to naturalessays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (書目-電子資源)

Typed lambda calculi and applications9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ by: (書目-電子資源)

Rewriting techniques and applications20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / by: (書目-電子資源)

Rough sets and knowledge technology4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / by: (書目-電子資源)

Handbook of weighted automata by: (書目-電子資源)

Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (書目-電子資源)

Computer science logic23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

Algorithmic compositionparadigms of automated music generation / by: (書目-電子資源)

Logic, rationality, and interactionsecond international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (書目-電子資源)

Logic for computer scientists by: (書目-電子資源)

Indiscrete thoughts by: (書目-電子資源)

Dude, can you count?Stories, Challenges, and Adventures in Mathematics / by: (書目-電子資源)

Collected works.gesammelte Werke.Volume I,Set theory, miscellanea by: (書目-電子資源)

Cardinal invariants on Boolean algebras by: (書目-電子資源)

Recasting realityWolfgang Pauli's philosophical ideas and contemporary science / by: (書目-電子資源)

Generalized measure theory by: (書目-電子資源)

Ultimate explanations of the universe by: (書目-電子資源)

Cognitive reasoninga formal approach / by: (書目-電子資源)

Mathematical logicfoundations for information science / by: (書目-電子資源)

Logical tools for handling change in agent-based systems by: (書目-電子資源)

Logic and philosophy of mathematics in the early Husserl by: (書目-電子資源)

A course in mathematical logic for mathematicians by: (書目-電子資源)

A concise introduction to mathematical logic by: (書目-電子資源)

Handbook of set theory by: (書目-電子資源)

Natural deduction, hybrid systems and modal logics by: (書目-電子資源)

Banach spaces and descriptive set theoryselected topics / by: (書目-電子資源)

The P=NP question and Godel's lost letter by: (書目-電子資源)

Additive number theoryfestschrift in honor of the sixtieth birthday of Melvyn B. Nathanson / by: (書目-電子資源)

More sets, graphs and numbersa salute to Vera Sos and Andras Hajnal / by: (書目-電子資源)

Mathematical livesprotagonists of the twentieth century from Hilbert to Wiles / by: (書目-電子資源)

Hybrid logic and its proof-theory by: (書目-電子資源)

Methods of cut-elimination by: (書目-電子資源)

From boolean logic to switching circuits and automatatowards modern information technology / by: (書目-電子資源)

Logic, mathematics, philosophy, vintage enthusiasmsessays in honour of John L. Bell / by: (書目-電子資源)

Foundational theories of classical and constructive mathematics by: (書目-電子資源)

Games, norms and reasonslogic at the crossroads / by: (書目-電子資源)

Proof, computation and agencylogic at the crossroads / by: (書目-電子資源)

The Colorado Mathematical Olympiad and further explorationsfrom the mountains of Colorado to the peaks of mathematics / by: (書目-電子資源)

Giuseppe Peano between mathematics and logicproceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 / by: (書目-電子資源)

The proof is in the puddingthe changing nature of mathematical proof / by: (書目-電子資源)

Hyperfinite dirichlet forms and stochastic processes by: (書目-電子資源)

Tools for teaching logicthird international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (書目-電子資源)

Treatise on intuitionistic type theory by: (書目-電子資源)

Advanced Lukasiewicz calculus and MV-algebras by: (書目-電子資源)

Reading, writing, and provinga closer look at mathematics / by: (書目-電子資源)

Logic and games on automatic structuresplaying with quantifiers and decompositions / by: (書目-電子資源)

Strict finitism and the logic of mathematical applications by: (書目-電子資源)

From objects to diagrams for ranges of functors by: (書目-電子資源)

The selected correspondence of L.E.J. Brouwer by: (書目-電子資源)

Conditionals and modularity in general logics by: (書目-電子資源)

The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (書目-電子資源)

Models of computation in context7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (書目-電子資源)

Apartness and uniformitya constructive development / by: (書目-電子資源)

Logic, rationality, and interactionthird international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (書目-電子資源)

Dual tableauxfoundations, methodology, case studies / by: (書目-電子資源)

A beginner's guide to discrete mathematics by: (書目-電子資源)

The mathematical experience by: (書目-電子資源)

Combinatorial set theorywith a gentle introduction to forcing / by: (書目-電子資源)

Excursions in the history of mathematics by: (書目-電子資源)

Foundations of algebraic specification and formal software development by: (書目-電子資源)

Recent trends in algebraic development techniques20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-電子資源)

Logica brief course / by: (書目-電子資源)

On intuitionistic fuzzy sets theory by: (書目-電子資源)

A beginner's guide to finite mathematicsfor business, management, and the social sciences / by: (書目-電子資源)

Sparsitygraphs, structures, and algorithms / by: (書目-電子資源)

How the world computesTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (書目-電子資源)

Around and beyond the square of opposition by: (書目-電子資源)

Lectures on logic and computationESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes / by: (書目-電子資源)

The logic of categorial grammarsa deductive account of natural language syntax and semantics / by: (書目-電子資源)

Mathematical logic for computer science by: (書目-電子資源)

Introduction to mathematical structures and proofs by: (書目-電子資源)

Epistemology versus ontologyessays on the philosophy and foundations of mathematics in honour of Per Martin-Lof / by: (書目-電子資源)

Mathematics of discrete structures for computer science by: (書目-電子資源)

A logical introduction to proof by: (書目-電子資源)

Lecture notes on O-minimal structures and real analytic geometry by: (書目-電子資源)

The complexity of valued constraint satisfaction problems by: (書目-電子資源)

Institution-independent model theory by: (書目-電子資源)

Proofs and fundamentalsa first course in abstract mathematics / by: (書目-電子資源)

Non-commutative multiple-valued logic algebras by: (書目-電子資源)

Leniewski's systems of logic and foundations of mathematics by: (書目-電子資源)

Axiomatic method and category theory by: (書目-電子資源)

Where is the Godel-point hidingGentzen's consistency proof of 1936 and his representation of constructive ordinals / by: (書目-電子資源)

Pluralism in mathematicsa new position in philosophy of mathematics / by: (書目-電子資源)

Kripke's worldsan introduction to modal logics via Tableaux / by: (書目-電子資源)

Explaining beauty in mathematicsan aesthetic theory of mathematics / by: (書目-電子資源)

David Makinson on classical methods for non-classical problems by: (書目-電子資源)

Set theorywith an introduction to real point sets / by: (書目-電子資源)

Recent progress in general topology III by: (書目-電子資源)

Cardinal invariants on Boolean algebras by: (書目-電子資源)

Scientific objectivity and its contexts by: (書目-電子資源)

Advances in natural deductiona celebration in Dag Prawitz's work / by: (書目-電子資源)

Janus-Faced Probability by: (書目-電子資源)

Recent trends in philosophical logic by: (書目-電子資源)

A mathematical prelude to the philosophy of mathematics by: (書目-電子資源)

Set theoryexploring independence and truth / by: (書目-電子資源)

Mereology and the sciencesparts and wholes in the contemporary scientific context / by: (書目-電子資源)

A Cp-theory problem bookspecial features of function spaces / by: (書目-電子資源)

Rewriting and Typed Lambda Calculijoint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Pristine perspectives on logic, language, and computationESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / by: (書目-電子資源)

Perspectives in computational complexitythe Somenath Biswas anniversary volume / by: (書目-電子資源)

Duality theories for Boolean algebras with operators by: (書目-電子資源)

Johan van Benthem on logic and information dynamics by: (書目-電子資源)

Constructivity and computability in historical and philosophical perspective by: (書目-電子資源)

Alfred Tarskiearly work in Poland : geometry and teaching / by: (書目-電子資源)

The philosophy of mathematics and logic in the 1920s and 1930s in Poland by: (書目-電子資源)

Model theory in algebra, analysis and arithmeticCetraro, Italy 2012 / by: (書目-語言資料,印刷品)

Combinatorial algebrasyntax and semantics / by: (書目-電子資源)

The life and work of Leon Henkinessays on his contributions / by: (書目-電子資源)

Pell and Pell-Lucas numbers with applications by: (書目-電子資源)

Basic real analysis by: (書目-電子資源)

Mathematical logicfoundations for information science / by: (書目-電子資源)

Petr Hajek on mathematical fuzzy logic by: (書目-電子資源)

The road to universal logicFestschrift for 50th Birthday of Jean-Yves Beziau.Volume I / by: (書目-電子資源)

Essays on Godel's reception of Leibniz, Husserl, and Brouwer by: (書目-電子資源)

From logic to practiceItalian studies in the philosophy of mathematics / by: (書目-電子資源)

Dag Prawitz on proofs and meaning by: (書目-電子資源)

Problems and proofs in numbers and algebra by: (書目-電子資源)

Ideals, varieties, and algorithmsan introduction to computational algebraic geometry and commutative algebra / by: (書目-電子資源)

Facets of uncertainties and applicationsICFUA, Kolkata, India, December 2013 / by: (書目-電子資源)

The unknown as an engine for sciencean essay on the definite and the indefinite / by: (書目-電子資源)

Freedom and enforcement in actiona study in formal action theory / by: (書目-電子資源)

Quantum physics, fuzzy sets and logicsteps towards a many-valued interpretation of quantum mechanics / by: (書目-電子資源)

Quantifiers, quantifiers, and quantifiersthemes in logic, metaphysics, and language / by: (書目-電子資源)

Computational complexity of solving equation systems by: (書目-電子資源)

One hundred prisoners and a light bulb by: (書目-電子資源)

Ernst Zermeloan approach to his life and work / by: (書目-電子資源)

Nonstandard analysis for the working mathematician by: (書目-電子資源)

Introduction to concurrency theorytransition systems and CCS / by: (書目-電子資源)

Special topics in mathematics for computer scientistssets, categories, topologies and measures / by: (書目-電子資源)

Petri net synthesis by: (書目-電子資源)

Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / by: (書目-電子資源)

Logic, rationality, and interaction5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings / by: (書目-電子資源)

Recent developments in the philosophy of scienceEPSA13 Helsinki / by: (書目-電子資源)

Logic, mathematics, and computer sciencemodern foundations with practical applications / by: (書目-電子資源)

Gentzen's centenarythe quest for consistency / by: (書目-電子資源)

Towards an arithmetical logicthe arithmetical foundations of logic / by: (書目-電子資源)

Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (書目-電子資源)

Constructive commutative algebraprojective modules over polynomial rings and dynamical Gröbner bases / by: (書目-電子資源)

Turing's revolutionthe impact of his ideas about computability / by: (書目-電子資源)

New directions in paraconsistent logic5th WCP, Kolkata, India, February 2014 / by: (書目-電子資源)

Advances in proof-theoretic semantics by: (書目-電子資源)

Mathematics and the mindan introduction into Ibn Sina's theory of knowledge / by: (書目-電子資源)

Structural analysis of non-classical logicsthe proceedings of the second Taiwan Philosophical Logic Colloquium / by: (書目-電子資源)

Philosophy of science for scientists by: (書目-電子資源)

On logical, algebraic, and probabilistic aspects of fuzzy set theory by: (書目-電子資源)

Models and inferences in science by: (書目-電子資源)

Trick or truth?the mysterious connection between physics and mathematics / by: (書目-電子資源)

J. Michael Dunn on information based logics by: (書目-電子資源)

Modern logic 1850-1950, East and West by: (書目-電子資源)

Advances in proof theory by: (書目-電子資源)

Ordered setsan introduction with connections from combinatorics to topology / by: (書目-電子資源)

Writing proofs in analysis by: (書目-電子資源)

Turing computabilitytheory and applications / by: (書目-電子資源)

Dependence logictheory and applications / by: (書目-電子資源)

The congruences of a finite latticea "Proof-by-Picture" approach / by: (書目-電子資源)

Finitely supported mathematicsan introduction / by: (書目-電子資源)

Towards paraconsistent engineering by: (書目-電子資源)

Objectivity, realism, and proofFilMat studies in the philosophy of mathematics / by: (書目-電子資源)

Cultures of mathematics and logicselected papers from the Conference in Guangzhou, China, November 9-12, 2012 / by: (書目-電子資源)

Number theoryan introduction via the density of primes / by: (書目-電子資源)

Probability logicsprobability-based formalization of uncertain reasoning / by: (書目-電子資源)

A new perspective on nonmonotonic logics by: (書目-電子資源)

Logical studies of paraconsistent reasoning in science and mathematics by: (書目-電子資源)

Martin Davis on computability, computational logic, and mathematical foundations by: (書目-電子資源)

Intuitionistic fuzzy logics by: (書目-電子資源)

Causal nets, interventionism, and mechanismsphilosophical foundations and applications / by: (書目-電子資源)

Meaning in dialoguean interactive approach to logic and reasoning / by: (書目-電子資源)

Saved from the cellarGerhard Gentzen's shorthand notes on logic and foundations of mathematics / by: (書目-電子資源)

The square of oppositiona cornerstone of hought / by: (書目-電子資源)

Rohit Parikh on logic, language and society by: (書目-電子資源)

Process algebras for Petri netsthe alphabetization of distributed systems / by: (書目-電子資源)

The Colorado Mathematical Olympiadthe third decade and further explorations : from the mountains of Colorado to the peaks of mathematics / by: (書目-電子資源)

The incomputablejourneys beyond the Turing barrier / by: (書目-電子資源)

Springer handbook of model-based science by: (書目-電子資源)

On the Logosa naive view on ordinary reasoning and fuzzy logic / by: (書目-電子資源)

Fading foundationsprobability and the regress problem / by: (書目-電子資源)

Harmonies of disorderNorbert Wiener: a mathematician-philosopher of our time / by: (書目-電子資源)

Introduction to relation algebrasrelation algebras.Volume 1 / by: (書目-電子資源)

Advanced topics in relation algebrasrelation algebras.Volume 2 / by: (書目-電子資源)

Theories of the logos by: (書目-電子資源)

A course on basic model theory by: (書目-電子資源)

God and abstract objectsthe coherence of theism : aseity / by: (書目-電子資源)

Descriptor revisionbelief change through direct choice / by: (書目-電子資源)

The logical legacy of Nikolai Vasiliev and modern logic by: (書目-電子資源)

Neighborhood semantics for modal logic by: (書目-電子資源)

Philosophical logiccurrent trends in Asia : proceedings of AWPL-TPLC 2016 / by: (書目-電子資源)

Recent trends in algebraic development techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (書目-電子資源)

Combinatorial set theorywith a gentle introduction to forcing / by: (書目-電子資源)

Simple relation algebras by: (書目-電子資源)

Raymond Smullyan on self reference by: (書目-電子資源)

Feferman on foundationslogic, mathematics, philosophy / by: (書目-電子資源)

The Hyperuniverse project and maximality by: (書目-電子資源)

New essays on Fregebetween science and literature / by: (書目-電子資源)

Building theoriesheuristics and hypotheses in sciences / by: (書目-電子資源)

Larisa Maksimova on implication, interpolation, and definability by: (書目-電子資源)

An introduction to the technique of formative processes in set theory by: (書目-電子資源)

Artificial adaptive systems using auto contractive mapstheory, applications and extensions / by: (書目-電子資源)

The map and the territoryexploring the foundations of science, thought and reality / by: (書目-電子資源)

Jaakko Hintikka on knowledge and game-theoretical semantics by: (書目-電子資源)

Intuitionistic proof versus classical truththe role of Brouwer's creative subject in intuitionistic mathematics / by: (書目-電子資源)

Structures and algorithmsmathematics and the nature of knowledge / by: (書目-電子資源)

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science by: (書目-電子資源)

Handbook of model checking by: (書目-電子資源)

A history of folding in mathematicsmathematizing the margins / by: (書目-電子資源)

Relational topology by: (書目-電子資源)

Wandering towards a goalhow can mindless mathematical laws give rise to aims and intention? / by: (書目-電子資源)

The Lvov-Warsaw school, past and present by: (書目-電子資源)

Logical foundations of cyber-physical systems by: (書目-電子資源)

Computational artifactstowards a philosophy of computer science / by: (書目-電子資源)

Methods of solving number theory problems by: (書目-電子資源)

Philosophy's loss of logic to mathematicsan inadequately understood take-over / by: (書目-電子資源)

Great circle of mysteriesmathematics, the world, the mind / by: (書目-電子資源)

The philosophers and mathematicsfestschrift for Roshdi Rashed / by: (書目-電子資源)

Immanent reasoning or equality in actiona plaidoyer for the play level / by: (書目-電子資源)

Mathematical logicon numbers, sets, structures, and symmetry / by: (書目-電子資源)

Formal methods for nonmonotonic and related logics.Vol II,Theory revision, inheritance, and various abstract properties by: (書目-電子資源)

Formal methods for nonmonotonic and related logics.Vol I:,Preference and size by: (書目-電子資源)

Logics for computer scienceclassical and non-classical / by: (書目-電子資源)

Contradictions, from consistency to inconsistency by: (書目-電子資源)

Scientific philosophy by: (書目-電子資源)

Introduction to formal philosophy by: (書目-電子資源)

Truth-seeking by abduction by: (書目-電子資源)

Quantum computation and logichow quantum computers have inspired logical investigations / by: (書目-電子資源)

Fuzzy lie algebras by: (書目-電子資源)

Hilary Putnam on logic and mathematics by: (書目-電子資源)

Ewa Orlowska on relational methods in logic and computer science by: (書目-電子資源)

Logica.Volume 2,Incompletezza, teoria assiomatica degli insiemi by: (書目-電子資源)

Ludwig Wittgenstein's philosophical investigationsan Attempt at a Critical Rationalist Appraisal / by: (書目-電子資源)

Philosophical and mathematical logic by: (書目-電子資源)

Exploring Meinong's jungle and beyondthe Sylvan jungle.Volume 1 / by: (書目-電子資源)

Contextualism, factivity and closurean union that should not take place? / by: (書目-電子資源)

Temporal type theorya topos-theoretic approach to systems and behavior / by: (書目-電子資源)

What is fundamental? by: (書目-電子資源)

Logic functions and equationsbinary models for computer science / by: (書目-電子資源)

Mathematics, informatics, and their applications in natural sciences and engineeringAMINSE 2017, Tbilisi, Georgia, December 6-9 / by: (書目-電子資源)

Nonstandard methods in Ramsey theory and combinatorial number theory by: (書目-電子資源)

Ultralogic as universal?the Sylvan jungle.Volume 4 / by: (書目-電子資源)

Conceptual spaceselaborations and applications / by: (書目-電子資源)

Heyting algebrasduality theory / by: (書目-電子資源)

Proof theory and algebra in logic by: (書目-電子資源)

Theory of graded consequencea general framework for logics of uncertainty / by: (書目-電子資源)

A model-theoretic approach to proof theory by: (書目-電子資源)

Mathesis universalis, computability and proof by: (書目-電子資源)

Constructive semanticsmeaning in between phenomenology and constructivism / by: (書目-電子資源)

Noneist explorations.with supplementary essaysI,The Sylvan Jungle - Volume 2 : by: (書目-電子資源)

Introduction to discrete mathematics via logic and proof by: (書目-電子資源)

Reflections on the foundations of mathematicsunivalent foundations, set theory and general thoughts / by: (書目-電子資源)

Parameterized complexity in the polynomial hierarchyextending parameterized complexity theory to higher levels of the hierarchy / by: (書目-電子資源)

Combinatorial set theory of C*-algebras by: (書目-電子資源)

Laws and explanationstheories and modal possibilities / by: (書目-電子資源)

Leibniz and the structure of sciencesmodern perspectives on the history of logic, mathematics, epistemology / by: (書目-電子資源)

Semantics and truth by: (書目-電子資源)

Graham Priest on dialetheism and paraconsistency by: (書目-電子資源)

New essays on Belnap-Dunn logic by: (書目-電子資源)

Foundations of software science and computation structures23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings / by: (書目-電子資源)

Quantum, probability, logicthe work and influence of Itamar Pitowsky / by: (書目-電子資源)

The panenmentalist philosophy of sciencefrom the recognition of individual pure possibilities to actual discoveries / by: (書目-電子資源)

Knowledge, proof and dynamicsthe Fourth Asian Workshop on Philosophical Logic / by: (書目-電子資源)

Diagonalization in formal mathematics by: (書目-電子資源)

Nonclassical logics and their applicationspost-proceedings of the 8th International Workshop on Logic and Cognition / by: (書目-電子資源)

WITTGENSTEINIAN (adj.)looking at the world from the viewpoint of Wittgenstein's philosophy / by: (書目-電子資源)

Formal aspects of component software16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings / by: (書目-電子資源)

Selected topics in probabilistic safety assessmentmethodology and practice in nuclear power plants / by: (書目-電子資源)

Solving problems in mathematical analysis.Part I,Sets, functions, limits, derivatives, integrals, sequences and series by: (書目-電子資源)

Geometry by: (書目-電子資源)

Logical foundations of computer scienceInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings / by: (書目-電子資源)

Sets, logic and maths for computing by: (書目-電子資源)

Probabilistic extensions of various logical systems by: (書目-電子資源)

Foundations of finitely supported structuresa set theoretical viewpoint / by: (書目-電子資源)

Can mathematics be proved consistent?Godel's shorthand notes & lectures on incompleteness / by: (書目-電子資源)

The legacy of Kurt Schutte by: (書目-電子資源)

Modelling naturean opinionated introduction to scientific representation / by: (書目-電子資源)

Logic, rationality, and interaction7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings / by: (書目-電子資源)

Incompleteness for higher-order arithmetican example based on Harrington's principle / by: (書目-電子資源)

Decidability of logical theories and their combination by: (書目-電子資源)

An invitation to abstract mathematics by: (書目-電子資源)

Godel's theorems and Zermelo's axiomsa firm foundation of mathematics / by: (書目-電子資源)

The foundations of computability theory by: (書目-電子資源)

Applications of mathematics and informatics in natural sciences and engineeringAMINSE 2019, Tbilisi, Georgia, September 23-26 / by: (書目-電子資源)

Finite athematics as the foundation of classical mathematics and quantum theorywith applications to gravity and particle theory / by: (書目-電子資源)

Noneist explorations.II,The Sylvan jungle. by: (書目-電子資源)

Ludwig Wittgensteindictating philosophy : to Francis Skinner : the Wittgenstein-Skinner manuscripts / by: (書目-電子資源)

Problem solving in operation management by: (書目-電子資源)

Biological models via interval type-2 fuzzy sets by: (書目-電子資源)

Fuzzy logicrecent applications and developments / by: (書目-電子資源)

Theoremusa student's guide to mathematical proofs / by: (書目-電子資源)

Lessons in enumerative combinatorics by: (書目-電子資源)

Mathematical logic by: (書目-電子資源)

Hajnal Andreka and Istvan Nemeti on unity of sciencefrom computing to relativity theory through algebraic logic / by: (書目-電子資源)

The legacy of Mario Pieri in foundations and philosophy of mathematics by: (書目-電子資源)

Joachim Lambekthe interplay of mathematics, logic, and linguistics / by: (書目-電子資源)

Real analysisfoundations / by: (書目-電子資源)

Mathematics, logic, and their philosophiesessays in honour of Mohammad Ardeshir / by: (書目-電子資源)

Handbook of computability and complexity in analysis by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / by: (書目-電子資源)

Awareness in logic and epistemologya conceptual schema and logical study of the underlying main epistemic concepts / by: (書目-電子資源)

Pythagorean fuzzy setstheory and applications / by: (書目-電子資源)

Arnon Avron on semantics and proof theory of non-classical logics by: (書目-電子資源)

Quaternions for computer graphics by: (書目-電子資源)

Undecidability, uncomputability, and unpredictability by: (書目-電子資源)

Top-down causation and emergence by: (書目-電子資源)

Paul Lorenzen - mathematician and logician by: (書目-電子資源)

Thinking programslogical modeling and reasoning about languages, data, computations, and executions / by: (書目-電子資源)

Modelling puzzles in first order logic by: (書目-電子資源)

R-CALCULUSa logic of belief revision / by: (書目-電子資源)

Relational and algebraic methods in computer science19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (書目-電子資源)

Formal methods teaching4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings / by: (書目-電子資源)

Founding mathematics on semantic conventions by: (書目-電子資源)

Advances in mathematical logicdedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions / by: (書目-電子資源)

Essential mathematics for undergraduatesa guided approach to algebra, geometry, topology and analysis / by: (書目-電子資源)

Implicit and explicit semantics integration in proof-based developments of discrete systemscommunications of NII Shonan Meetings / by: (書目-電子資源)

Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday / by: (書目-電子資源)

Logic and implicationan introduction to the general algebraic study of non-classical logics / by: (書目-電子資源)

Motion and genetic definitions in the Sixteenth-Century Euclidean tradition by: (書目-電子資源)

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs by: (書目-電子資源)

Logical foundations of computer scienceinternational symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings / by: (書目-電子資源)

Reasoning web. declarative artificial intelligence17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021 : tutorial lectures / by: (書目-電子資源)

Model validation and uncertainty quantification.proceedings of the 39th IMAC, a conference and exposition on structural dynamics 2021 /Volume 3 by: (書目-電子資源)

Hiroakira Ono on substructural logics by: (書目-電子資源)

On Hilbert's sixth problem by: (書目-電子資源)

Wittgenstein's on certaintyinsight and method / by: (書目-電子資源)

R-calculus.II,Many-valued logics by: (書目-電子資源)

Chapters from Godel's unfinished book on foundational research in mathematics by: (書目-電子資源)

Foundations of software science and computation structures25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (書目-電子資源)

Objects, structures, and logicsFilMat studies in the philosophy of mathematics / by: (書目-電子資源)

Logic without gaps or glutshow to solve the paradoxes without sacrificing classical logic / by: (書目-電子資源)

Artificial intelligence versus natural intelligence by: (書目-電子資源)

Cherlin's conjecture for finite primitive binary permutation groups by: (書目-電子資源)

Runtime verificationa hands-on approach in Java / by: (書目-電子資源)

Reverse mathematicsproblems, reductions, and proofs / by: (書目-電子資源)

The logical writings of Karl Popper by: (書目-電子資源)

Ernst Schröder on algebra and logic by: (書目-電子資源)

The exoteric square of oppositionthe sixth World Congress on the Square of Opposition / by: (書目-電子資源)

A.P. Morse's set theory and analysis by: (書目-電子資源)

Kurt Gödelthe genius of metamathematics / by: (書目-電子資源)

Axiomatic thinking.II by: (書目-電子資源)

Exploring formalisationa primer in human-readable mathematics in Lean 3 with examples from simplicial topology / by: (書目-電子資源)

Essays in constructive mathematics by: (書目-電子資源)

A protocol-theoretic framework for the logic of epistemic norms by: (書目-電子資源)

Axiomatic thinking.I by: (書目-電子資源)

Universal algebraic logicdedicated to the unity of science / by: (書目-電子資源)

Logic in questiontalks from the Annual Sorbonne Logic Workshop (2011- 2019) / by: (書目-電子資源)

Inquisitive logicconsequence and inference in the realm of questions / by: (書目-電子資源)

Diagrams, visual imagination, and continuity in Peirce's philosophy of mathematics by: (書目-電子資源)

Practical aspects of declarative languages25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (書目-電子資源)

Dynamic logic : new trends and applications4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / by: (書目-電子資源)

Logic and its applications10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023 : proceedings / by: (書目-電子資源)

Dynamics in logic and languagethird Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, virtual event, April 1-4, 2022 : revised selected papers / by: (書目-電子資源)

Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings / by: (書目-電子資源)

Understanding behaviour of distributed systems using mCRL2 by: (書目-電子資源)

The priority of propositionsa pragmatist philosophy of logic / by: (書目-電子資源)

R-calculus.IV,Propositional logic by: (書目-電子資源)

Semantic intelligenceselect proceedings of ISIC 2022 / by: (書目-電子資源)

Concrete abstractionsformalizing and analyzing discrete theories and algorithms with the RISCAL model checker / by: (書目-電子資源)

The mathematical representation of physical reality by: (書目-電子資源)

Simple type theorya practical logic for expressing and reasoning about mathematical ideas / by: (書目-電子資源)

Prawitz's epistemic groundingan investigation into the power of deduction / by: (書目-電子資源)

Philosophy of mathematics in antiquity and in modern times by: (書目-電子資源)

Field arithmetic by: (書目-電子資源)

Kurt Gödelresults on foundations / by: (書目-電子資源)

Diagrams and gesturesmathematics, philosophy, and linguistics / by: (書目-電子資源)

First-order modal logic by: (書目-電子資源)

Advances in brain inspired cognitive systems13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023 : proceedings / by: (書目-電子資源)

An invitation to mathematical logic by: (書目-電子資源)

Robert Rosen and relational system theoryan overview / by: (書目-電子資源)

Themes from Weira celebration of the philosophy of Alan Weir / by: (書目-電子資源)

R-calculus.V,Description logics by: (書目-電子資源)

Dynamic logicnew trends and applications : 5th International Workshops, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023 : revised selected papers / by: (書目-電子資源)

Peter Schroeder-Heister on proof-theoretic semantics by: (書目-電子資源)

Human and artificial rationalitiessecond International Conference, HAR 2023, Paris, France, September 19-22, 2023 : proceedings / by: (書目-電子資源)

From computational logic to computational biologyessays dedicated to Alfredo Ferro to celebrate his scientific career / by: (書目-電子資源)

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part I / by: (書目-電子資源)

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II / by: (書目-電子資源)

The new mathematical coloring bookmathematics of coloring and the colorful life of its creators / by: (書目-電子資源)

Harmony and paradoxintensional aspects of proof-theoretic semantics / by: (書目-電子資源)

Handbook of the history and philosophy of mathematical practice by: (書目-電子資源)

Janusz Czelakowski on logical consequence by: (書目-電子資源)

Perspectives on deductioncontemporary studies in the philosophy, history and formal theories of deduction / by: (書目-電子資源)

Mathematical logicon numbers, sets, structures, and symmetry / by: (書目-電子資源)

Robust argumentation machinesfirst International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024 : proceedings / by: (書目-電子資源)

Coalgebraic methods in computer science17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings / by: (書目-電子資源)

Dick de jongh on intuitionistic and provability logics by: (書目-電子資源)

Formal methods teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (書目-電子資源)

Introduction to incompletenessfrom Gödel's theorems to forcing and the continuum hypothesis / by: (書目-電子資源)

Gödel's incompleteness theoremsa guided tour through Kurt Gödel's historic proof / by: (書目-電子資源)

Arbitrary reference in logic and mathematics by: (書目-電子資源)

Quantum mechanics and avant-garde musicshadows of the void / by: (書目-電子資源)

Saul Kripke on modal logic by: (書目-電子資源)

The forcing method in set theoryan introduction via Boolean valued logic / by: (書目-電子資源)

Paradoxes between truth and proof by: (書目-電子資源)

An introduction to naïve set theory and its applications by: (書目-電子資源)

Arithmetic and algebraic geometrya mathematical tribute to Yuri Manin / by: (書目-電子資源)

The logic, philosophy, and history of the lambda-calculustheory and applications / by: (書目-電子資源)

Simple type theorya practical logic for expressing and reasoning about mathematical ideas / by: (書目-電子資源)

The connectives in logic and language4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024 : revised selected papers / by: (書目-電子資源)

Foundations of software science and computation structures28th International Conference, FoSSaCS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings / by: (書目-電子資源)

Logic and its applications11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings / by: (書目-電子資源)

Gödel's theorems and Zermelo's axiomsa firm foundation of mathematics / by: (書目-電子資源)

Combinatorial set theorywith a gentle introduction to forcing / by: (書目-電子資源)

R-calculus, VIfinite injury priority method / by: (書目-電子資源)

Advances in brain inspired cognitive systems14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024 : proceedings.Part I / by: (書目-電子資源)

Advances in brain inspired cognitive systems14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024 : proceedings.Part II / by: (書目-電子資源)

Human and artificial rationalitiesadvances in cognition, computation, and consciousness : third International Conference, HAR 2024, Paris, France, September 17-20, 2024 : proceedings / by: (書目-電子資源)

The mathematical and philosophical legacy of Alexander Grothendieck by: (書目-電子資源)

New directions in relevant logic by: (書目-電子資源)

Institution-independent model theory by: (書目-電子資源)

Crossroads of computability and logicinsights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings / by: (書目-電子資源)

The method of Socratic proofsfrom the logic of questions to proof theory / by: (書目-電子資源)