Mathematical Logic and Foundations.

Philosophy of mathematics in antiquity and in modern times by: (Language materials, printed)

Inquisitive logic = consequence and inference in the realm of questions / by: (Language materials, printed)

Logic in question = talks from the Annual Sorbonne Logic Workshop (2011- 2019) / by: (Language materials, printed)

Logic Without Gaps or Gluts = How to Solve the Paradoxes Without Sacrificing Classical Logic / by: (Language materials, printed)

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics by: (Language materials, printed)

Wittgenstein's On Certainty: Insight and Method by: (Language materials, printed)

Reasoning Web. Declarative Artificial Intelligence = 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures / by: (Language materials, printed)

On Hilbert's Sixth Problem by: (Language materials, printed)

Ein strukturorientierter Aufbau der klassischen Zahlenbereiche = mit Blick auf Ordnungsstrukturen, algebraische und topologische Strukturen / by: (Language materials, printed)

R-Calculus, II: Many-Valued Logics by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / by: (Language materials, printed)

Logical Foundations of Computer Science = International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings / by: (Language materials, printed)

Hiroakira Ono on Substructural Logics by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 25th 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: (Language materials, printed)

Artificial Intelligence Versus Natural Intelligence by: (Language materials, printed)

Objects, Structures, and Logics = FilMat Studies in the Philosophy of Mathematics / by: (Language materials, printed)

Mathematische Geschichten V – Binome, Ungleichungen und Beweise = Für begabte Schülerinnen und Schüler in der Mittelstufe / by: (Language materials, printed)

Ernst Schröder on Algebra and Logic by: (Language materials, printed)

Reverse Mathematics = Problems, Reductions, and Proofs / by: (Language materials, printed)

Vom Universum des Denkens = Eine Geistesgeschichte der Logik / by: (Language materials, printed)

Runtime Verification = A Hands-On Approach in Java / by: (Language materials, printed)

The Logical Writings of Karl Popper by: (Language materials, printed)

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs by: (Language materials, printed)

Wittgenstein-Handbuch = Leben – Werk – Wirkung / by: (Language materials, printed)

Cherlin’s Conjecture for Finite Primitive Binary Permutation Groups by: (Language materials, printed)

Effective Kan Fibrations in Simplicial Sets by: (Language materials, printed)

Logic - Language - Ontology = Selected Works / by: (Language materials, printed)

R-Calculus, III: Post Three-Valued Logic by: (Language materials, printed)

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics by: (Language materials, printed)

Universal Algebraic Logic = Dedicated to the Unity of Science / by: (Language materials, printed)

Axiomatic Thinking I by: (Language materials, printed)

Essays in Constructive Mathematics by: (Language materials, printed)

A Protocol-theoretic Framework for the Logic of Epistemic Norms by: (Language materials, printed)

Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / by: (Language materials, printed)

Axiomatic Thinking II by: (Language materials, printed)

Kurt Gödel = The Genius of Metamathematics / by: (Language materials, printed)

Mathematische Geschichten VI – Kombinatorik, Polynome und Beweise = Für begabte Schülerinnen und Schüler in der Mittelstufe / by: (Language materials, printed)

A.P. Morse’s Set Theory and Analysis by: (Language materials, printed)

The Exoteric Square of Opposition = The Sixth World Congress on the Square of Opposition / by: (Language materials, printed)

Essential Mathematics for Undergraduates = A Guided Approach to Algebra, Geometry, Topology and Analysis / by: (Language materials, printed)

Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / by: (Language materials, printed)

Formal Methods Teaching = 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by: (Language materials, printed)

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by: (Language materials, printed)

Logic and Implication = An Introduction to the General Algebraic Study of Non-classical Logics / by: (Language materials, printed)

Formal Methods Teaching = 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / by: (Language materials, printed)

Founding Mathematics on Semantic Conventions by: (Language materials, printed)

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics by: (Language materials, printed)

Quaternions for Computer Graphics by: (Language materials, printed)

Pythagorean Fuzzy Sets = Theory and Applications / by: (Language materials, printed)

Einführung in die Mengenlehre by: (Language materials, printed)

Undecidability, Uncomputability, and Unpredictability by: (Language materials, printed)

Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung / by: (Language materials, printed)

Mathematische Geschichten IV – Euklidischer Algorithmus, Modulo-Rechnung und Beweise = Für begabte Schülerinnen und Schüler in der Unterstufe / by: (Language materials, printed)

Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung = Struktur - Funktion - Zahl / by: (Language materials, printed)

Paul Lorenzen -- Mathematician and Logician by: (Language materials, printed)

Ludwig Wittgenstein: Dictating Philosophy = To Francis Skinner – The Wittgenstein-Skinner Manuscripts / by: (Language materials, printed)

Gödel's Theorems and Zermelo's Axioms = A Firm Foundation of Mathematics / by: (Language materials, printed)

Applications of Mathematics and Informatics in Natural Sciences and Engineering = AMINSE 2019, Tbilisi, Georgia, September 23-26 / by: (Language materials, printed)

Handbook of the History and Philosophy of Mathematical Practice by: (Language materials, printed)

Can Mathematics Be Proved Consistent? = Gödel's Shorthand Notes & Lectures on Incompleteness / by: (Language materials, printed)

Sets, Logic and Maths for Computing by: (Language materials, printed)

Foundations of Finitely Supported Structures = A Set Theoretical Viewpoint / by: (Language materials, printed)

WITTGENSTEINIAN (adj.) = Looking at the World from the Viewpoint of Wittgenstein's Philosophy / by: (Language materials, printed)

Quantum, Probability, Logic = The Work and Influence of Itamar Pitowsky / by: (Language materials, printed)

The Foundations of Computability Theory by: (Language materials, printed)

Noneist Explorations II = The Sylvan Jungle - Volume 3 / by: (Language materials, printed)

Probabilistic Extensions of Various Logical Systems by: (Language materials, printed)

Formal Aspects of Component Software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / by: (Language materials, printed)

Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory = With Applications to Gravity and Particle Theory / by: (Language materials, printed)

Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic / by: (Language materials, printed)

Modelling Nature: An Opinionated Introduction to Scientific Representation by: (Language materials, printed)

Solving Problems in Mathematical Analysis, Part I = Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series / by: (Language materials, printed)

Philosophie der Mathematik in der Antike und in der Neuzeit by: (Language materials, printed)

Geometry by: (Language materials, printed)

Diagonalization in Formal Mathematics by: (Language materials, printed)

The Legacy of Kurt Schütte by: (Language materials, printed)

Sichtweisen von Sechstklässlern auf multiplikative Strukturen im Sinne eines Bausteinkonzepts = Eine qualitativ-empirische Studie / by: (Language materials, printed)

Nonclassical Logics and Their Applications = Post-proceedings of the 8th International Workshop on Logic and Cognition / by: (Language materials, printed)

L. E. J. Brouwer: Intuitionismus by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 23rd 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: (Language materials, printed)

The Panenmentalist Philosophy of Science = From the Recognition of Individual Pure Possibilities to Actual Discoveries / by: (Language materials, printed)

Berechenbarkeit = Berechnungsmodelle und Unentscheidbarkeit / by: (Language materials, printed)

Logical Foundations of Computer Science = International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / by: (Language materials, printed)

Selected Topics in Probabilistic Safety Assessment = Methodology and Practice in Nuclear Power Plants / by: (Language materials, printed)

Decidability of Logical Theories and Their Combination by: (Language materials, printed)

An Invitation to Abstract Mathematics by: (Language materials, printed)

Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (Language materials, printed)

Completeness theory for propositional logics by: (Language materials, printed)

Guida alla teoria degli insiemi by: (Language materials, printed)

New Developments in Formal Languages and Applications by: (Language materials, printed)

Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler / by: (Language materials, printed)

Problems and proofs in numbers and algebra by: (Language materials, printed)

Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems / by: (Language materials, printed)

Deduction, computation, experiment = exploring the effectiveness of proof / by: (Language materials, printed)

Quantifiers, quantifiers, and quantifiers = themes in logic, metaphysics, and language / by: (Language materials, printed)

Computational complexity of solving equation systems by: (Language materials, printed)

One hundred prisoners and a light bulb by: (Language materials, printed)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering by: (Language materials, printed)

Laws of Nature by: (Language materials, printed)

Field arithmetic by: (Language materials, printed)

Ernst Zermelo = an approach to his life and work / by: (Language materials, printed)

Nonstandard analysis for the working mathematician by: (Language materials, printed)

Mathematical lives = protagonists of the twentieth century from Hilbert to Wiles / by: (Language materials, printed)

Propositional and Predicate Calculus A Model of Argument by: (Language materials, printed)

Hybrid logic and its proof-theory by: (Language materials, printed)

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (Language materials, printed)

Computer Science Logic = 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (Language materials, printed)

Field Arithmetic by: (Language materials, printed)

Valued Fields by: (Language materials, printed)

Methods of cut-elimination by: (Language materials, printed)

Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings / by: (Language materials, printed)

New Computational Paradigms = Changing Conceptions of What is Computable / by: (Language materials, printed)

Information and Knowledge = A Constructive Type-theoretical Approach / by: (Language materials, printed)

Categories for Software Engineering by: (Language materials, printed)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (Language materials, printed)

From boolean logic to switching circuits and automata = towards modern information technology / by: (Language materials, printed)

Logic, mathematics, philosophy, vintage enthusiasms = essays in honour of John L. Bell / by: (Language materials, printed)

Foundational theories of classical and constructive mathematics by: (Language materials, printed)

Games, norms and reasons = logic at the crossroads / by: (Language materials, printed)

Introduction to Modern Number Theory = Fundamental Problems, Ideas and Theories / by: (Language materials, printed)

Logica Universalis = Towards a General Theory of Logic / by: (Language materials, printed)

Constructive Negations and Paraconsistency by: (Language materials, printed)

Proof, computation and agency = logic at the crossroads / by: (Language materials, printed)

The Colorado Mathematical Olympiad and further explorations = from the mountains of Colorado to the peaks of mathematics / by: (Language materials, printed)

Giuseppe Peano between mathematics and logic = proceeding 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: (Language materials, printed)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (Language materials, printed)

Strict finitism and the logic of mathematical applications by: (Language materials, printed)

From objects to diagrams for ranges of functors by: (Language materials, printed)

The selected correspondence of L.E.J. Brouwer by: (Language materials, printed)

Tools for teaching logic = third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings / by: (Language materials, printed)

Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (Language materials, printed)

Treatise on intuitionistic type theory by: (Language materials, printed)

Advanced Lukasiewicz calculus and MV-algebras by: (Language materials, printed)

Reading, writing, and proving = a closer look at mathematics / by: (Language materials, printed)

A geometry of approximation = rough set theory: logic, algebra and topology of Conceptual Patterns / by: (Language materials, printed)

Hyperfinite dirichlet forms and stochastic processes by: (Language materials, printed)

The proof is in the pudding = the changing nature of mathematical proof / by: (Language materials, printed)

Trends in Continuum Mechanics of Porous Media by: (Language materials, printed)

Essays in Constructive Mathematics by: (Language materials, printed)

A Modern Perspective on Type Theory = From its Origins until Today / by: (Language materials, printed)

Visualization, Explanation and Reasoning Styles in Mathematics by: (Language materials, printed)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Language materials, printed)

Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (Language materials, printed)

A Course on Mathematical Logic by: (Language materials, printed)

Scenario logic and probabilistic management of risk in business and engineering by: (Language materials, printed)

Dude, can you count? = Stories, Challenges, and Adventures in Mathematics / by: (Language materials, printed)

Logic for computer scientists by: (Language materials, printed)

Indiscrete thoughts by: (Language materials, printed)

Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (Language materials, printed)

Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (Language materials, printed)

Handbook of weighted automata by: (Language materials, printed)

Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (Language materials, printed)

Algorithmic composition = paradigms of automated music generation / by: (Language materials, printed)

Recasting reality = Wolfgang Pauli's philosophical ideas and contemporary science / by: (Language materials, printed)

Generalized measure theory by: (Language materials, printed)

Ultimate explanations of the universe by: (Language materials, printed)

Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (Language materials, printed)

The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (Language materials, printed)

Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (Language materials, printed)

Apartness and uniformity = a constructive development / by: (Language materials, printed)

Conditionals and modularity in general logics by: (Language materials, printed)

Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (Language materials, printed)

Constructive commutative algebra = projective modules over polynomial rings and dynamical Gröbner bases / by: (Language materials, printed)

Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / by: (Language materials, printed)

Gentzen's centenary = the quest for consistency / by: (Language materials, printed)

Introduction to concurrency theory = transition systems and CCS / by: (Language materials, printed)

Logic, mathematics, and computer science = modern foundations with practical applications / by: (Language materials, printed)

Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings / by: (Language materials, printed)

Petri net synthesis by: (Language materials, printed)

Recent developments in the philosophy of science = EPSA13 Helsinki / by: (Language materials, printed)

Turing's revolution = the impact of his ideas about computability / by: (Language materials, printed)

Special topics in mathematics for computer scientists = sets, categories, topologies and measures / by: (Language materials, printed)

Towards an arithmetical logic = the arithmetical foundations of logic / by: (Language materials, printed)

New directions in paraconsistent logic = 5th WCP, Kolkata, India, February 2014 / by: (Language materials, printed)

From linear operators to computational biology = essays in memory of Jacob T. Schwartz / by: (Language materials, printed)

Belief revision in non-classical logics by: (Language materials, printed)

Logic and structure by: (Language materials, printed)

Stochastic calculus with infinitesimals by: (Language materials, printed)

Mathematics of fuzzy sets and fuzzy logic by: (Language materials, printed)

On fuzziness = a homage to Lotfi A. Zadeh.. Volume 2 / by: (Language materials, printed)

Logical thinking in the pyramidal schema of concepts = the logical and mathematical elements / by: (Language materials, printed)

L.E.J. Brouwer = topologist, intuitionist, philosopher : how mathematics is rooted in life / by: (Language materials, printed)

Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings / by: (Language materials, printed)

A course on mathematical logic by: (Language materials, printed)

Proofs of the Cantor-Bernstein theorem = a mathematical excursion / by: (Language materials, printed)

Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / by: (Language materials, printed)

Logical foundations of mathematics and computational complexity = a gentle introduction / by: (Language materials, printed)

Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings / by: (Language materials, printed)

An invitation to abstract mathematics by: (Language materials, printed)

Towards a general theory of classifications by: (Language materials, printed)

The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings / by: (Language materials, printed)

The argument of mathematics by: (Language materials, printed)

Visual reasoning with diagrams by: (Language materials, printed)

The mathematics of Paul Erdos II by: (Language materials, printed)

Ernst Zermelo. = Collected Works = Gesammelte Werke /. Volume II,; Band II,. Calculus of variations, applied mathematics, and physics = ; Variationsrechnung, Angewandte Mathematik und Physik by: (Language materials, printed)

Proofs and fundamentals = a first course in abstract mathematics / by: (Language materials, printed)

Institution-independent model theory by: (Language materials, printed)

Mathematics of discrete structures for computer science by: (Language materials, printed)

Mathematics, computer science and logic = a never ending story / by: (Language materials, printed)

A logical introduction to proof by: (Language materials, printed)

Lecture notes on O-minimal structures and real analytic geometry by: (Language materials, printed)

Epistemology versus ontology = essays on the philosophy and foundations of mathematics in honour of Per Martin-Lof / by: (Language materials, printed)

Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes / by: (Language materials, printed)

The logic of categorial grammars = a deductive account of natural language syntax and semantics / by: (Language materials, printed)

Mathematical logic for computer science by: (Language materials, printed)

Introduction to mathematical structures and proofs by: (Language materials, printed)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (Language materials, printed)

Around and beyond the square of opposition by: (Language materials, printed)

Dual tableaux = foundations, methodology, case studies / by: (Language materials, printed)

Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings / by: (Language materials, printed)

The mathematics of coordinated inference = a study of generalized hat problems / by: (Language materials, printed)

The real numbers = an introduction to set theory and analysis / by: (Language materials, printed)

Reactive Kripke semantics by: (Language materials, printed)

Cylindric-like algebras and algebraic logic by: (Language materials, printed)

A beginner's guide to discrete mathematics by: (Language materials, printed)

The mathematical experience by: (Language materials, printed)

Combinatorial set theory = with a gentle introduction to forcing / by: (Language materials, printed)

Excursions in the history of mathematics by: (Language materials, printed)

Foundations of algebraic specification and formal software development by: (Language materials, printed)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (Language materials, printed)

Logic = a brief course / by: (Language materials, printed)

On intuitionistic fuzzy sets theory by: (Language materials, printed)

A beginner's guide to finite mathematics = for business, management, and the social sciences / by: (Language materials, printed)

Sparsity = graphs, structures, and algorithms / by: (Language materials, printed)

Proof theory = the first step into impredicativity / by: (Language materials, printed)

From a geometrical point of view = a study of the history and philosophy of category theory / by: (Language materials, printed)

The mathematical coloring book = mathematics of coloring and the colorful life of its creators / by: (Language materials, printed)

Introduction to boolean algebras by: (Language materials, printed)

Mathematical Olympiad challenges by: (Language materials, printed)

Logicism, intuitionism, and formalism = what has become of them? / by: (Language materials, printed)

Proof theory for fuzzy logics by: (Language materials, printed)

Games = unifying logic, language, and philosophy / by: (Language materials, printed)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (Language materials, printed)

Logic and integer programming by: (Language materials, printed)

Formal theories of information = from Shannon to semantic information theory and general concepts of information / by: (Language materials, printed)

A missing link in cybernetics = logic and continuity / by: (Language materials, printed)

Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (Language materials, printed)

Combinatorics and graph theor by: (Language materials, printed)

Discrete thoughts = essays on mathematics, science, and philosophy / by: (Language materials, printed)

Non-commutative multiple-valued logic algebras by: (Language materials, printed)

Leniewski's systems of logic and foundations of mathematics by: (Language materials, printed)

Axiomatic method and category theory by: (Language materials, printed)

Where is the Godel-point hiding = Gentzen's consistency proof of 1936 and his representation of constructive ordinals / by: (Language materials, printed)

Pluralism in mathematics = a new position in philosophy of mathematics / by: (Language materials, printed)

Kripke's worlds = an introduction to modal logics via Tableaux / by: (Language materials, printed)

Explaining beauty in mathematics = an aesthetic theory of mathematics / by: (Language materials, printed)

David Makinson on classical methods for non-classical problems by: (Language materials, printed)

Set theory = with an introduction to real point sets / by: (Language materials, printed)

Recent progress in general topology III by: (Language materials, printed)

Cardinal invariants on Boolean algebras by: (Language materials, printed)

Scientific objectivity and its contexts by: (Language materials, printed)

Advances in natural deduction = a celebration in Dag Prawitz's work / by: (Language materials, printed)

The road to universal logic = Festschrift for 50th Birthday of Jean-Yves Beziau.. Volume I / by: (Language materials, printed)

Petr Hajek on mathematical fuzzy logic by: (Language materials, printed)

Essays on Godel's reception of Leibniz, Husserl, and Brouwer by: (Language materials, printed)

From logic to practice = Italian studies in the philosophy of mathematics / by: (Language materials, printed)

Dag Prawitz on proofs and meaning by: (Language materials, printed)

Advances in proof-theoretic semantics by: (Language materials, printed)

Mathematics and the mind = an introduction into Ibn Sina's theory of knowledge / by: (Language materials, printed)

Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium / by: (Language materials, printed)

Philosophy of science for scientists by: (Language materials, printed)

On logical, algebraic, and probabilistic aspects of fuzzy set theory by: (Language materials, printed)

Models and inferences in science by: (Language materials, printed)

Trick or truth? = the mysterious connection between physics and mathematics / by: (Language materials, printed)

J. Michael Dunn on information based logics by: (Language materials, printed)

Modern logic 1850-1950, East and West by: (Language materials, printed)

Advances in proof theory by: (Language materials, printed)

Ordered sets = an introduction with connections from combinatorics to topology / by: (Language materials, printed)

Writing proofs in analysis by: (Language materials, printed)

Turing computability = theory and applications / by: (Language materials, printed)

Dependence logic = theory and applications / by: (Language materials, printed)

The congruences of a finite lattice = a "Proof-by-Picture" approach / by: (Language materials, printed)

Finitely supported mathematics = an introduction / by: (Language materials, printed)

Towards paraconsistent engineering by: (Language materials, printed)

Objectivity, realism, and proof = FilMat studies in the philosophy of mathematics / by: (Language materials, printed)

Cultures of mathematics and logic = selected papers from the Conference in Guangzhou, China, November 9-12, 2012 / by: (Language materials, printed)

Number theory = an introduction via the density of primes / by: (Language materials, printed)

Probability logics = probability-based formalization of uncertain reasoning / by: (Language materials, printed)

A new perspective on nonmonotonic logics by: (Language materials, printed)

Logical studies of paraconsistent reasoning in science and mathematics by: (Language materials, printed)

Martin Davis on computability, computational logic, and mathematical foundations by: (Language materials, printed)

Process algebras for Petri nets = the alphabetization of distributed systems / by: (Language materials, printed)

The Colorado Mathematical Olympiad = the third decade and further explorations : from the mountains of Colorado to the peaks of mathematics / by: (Language materials, printed)

The incomputable = journeys beyond the Turing barrier / by: (Language materials, printed)

Springer handbook of model-based science by: (Language materials, printed)

On the Logos = a naive view on ordinary reasoning and fuzzy logic / by: (Language materials, printed)

Fading foundations = probability and the regress problem / by: (Language materials, printed)

Descriptor revision = belief change through direct choice / by: (Language materials, printed)

The logical legacy of Nikolai Vasiliev and modern logic by: (Language materials, printed)

Neighborhood semantics for modal logic by: (Language materials, printed)

Philosophical logic = current trends in Asia : proceedings of AWPL-TPLC 2016 / by: (Language materials, printed)

Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (Language materials, printed)

Combinatorial set theory = with a gentle introduction to forcing / by: (Language materials, printed)

Simple relation algebras by: (Language materials, printed)

Raymond Smullyan on self reference by: (Language materials, printed)

Feferman on foundations = logic, mathematics, philosophy / by: (Language materials, printed)

Harmonies of disorder = Norbert Wiener: a mathematician-philosopher of our time / by: (Language materials, printed)

Introduction to relation algebras = relation algebras.. Volume 1 / by: (Language materials, printed)

Advanced topics in relation algebras = relation algebras.. Volume 2 / by: (Language materials, printed)

Theories of the logos by: (Language materials, printed)

A course on basic model theory by: (Language materials, printed)

God and abstract objects = the coherence of theism : aseity / by: (Language materials, printed)

Structures and algorithms = mathematics and the nature of knowledge / by: (Language materials, printed)

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science by: (Language materials, printed)

Handbook of model checking by: (Language materials, printed)

A history of folding in mathematics = mathematizing the margins / by: (Language materials, printed)

Relational topology by: (Language materials, printed)

Wandering towards a goal = how can mindless mathematical laws give rise to aims and intention? / by: (Language materials, printed)

The Lvov-Warsaw school, past and present by: (Language materials, printed)

Logical foundations of cyber-physical systems by: (Language materials, printed)

Computational artifacts = towards a philosophy of computer science / by: (Language materials, printed)

Methods of solving number theory problems by: (Language materials, printed)

Philosophy's loss of logic to mathematics = an inadequately understood take-over / by: (Language materials, printed)

Great circle of mysteries = mathematics, the world, the mind / by: (Language materials, printed)

The philosophers and mathematics = festschrift for Roshdi Rashed / by: (Language materials, printed)

Immanent reasoning or equality in action = a plaidoyer for the play level / by: (Language materials, printed)

Mathematical logic = on numbers, sets, structures, and symmetry / by: (Language materials, printed)

Formal methods for nonmonotonic and related logics.. Vol II,. Theory revision, inheritance, and various abstract properties by: (Language materials, printed)

Formal methods for nonmonotonic and related logics.. Vol I:,. Preference and size by: (Language materials, printed)

Logics for computer science = classical and non-classical / by: (Language materials, printed)

Contradictions, from consistency to inconsistency by: (Language materials, printed)

Scientific philosophy by: (Language materials, printed)

Introduction to formal philosophy by: (Language materials, printed)

Truth-seeking by abduction by: (Language materials, printed)

Logica.. Volume 2,. Incompletezza, teoria assiomatica degli insiemi by: (Language materials, printed)

Philosophical and mathematical logic by: (Language materials, printed)

Ludwig Wittgenstein's philosophical investigations = an Attempt at a Critical Rationalist Appraisal / by: (Language materials, printed)

Quantum computation and logic = how quantum computers have inspired logical investigations / by: (Language materials, printed)

Fuzzy lie algebras by: (Language materials, printed)

Hilary Putnam on logic and mathematics by: (Language materials, printed)

Ewa Orlowska on relational methods in logic and computer science by: (Language materials, printed)

Nonstandard methods in Ramsey theory and combinatorial number theory by: (Language materials, printed)

Ultralogic as universal? = the Sylvan jungle.. Volume 4 / by: (Language materials, printed)

Conceptual spaces = elaborations and applications / by: (Language materials, printed)

Heyting algebras = duality theory / by: (Language materials, printed)

Proof theory and algebra in logic by: (Language materials, printed)

Theory of graded consequence = a general framework for logics of uncertainty / by: (Language materials, printed)

Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (Language materials, printed)

New Developments in Formal Languages and Applications by: (Language materials, printed)

Algorithms in Invariant Theory by: (Language materials, printed)

Meaning in dialogue = an interactive approach to logic and reasoning / by: (Language materials, printed)

Intuitionistic fuzzy logics by: (Language materials, printed)

Causal nets, interventionism, and mechanisms = philosophical foundations and applications / by: (Language materials, printed)

Dag Prawitz on Proofs and Meaning by: (Language materials, printed)

Facets of Uncertainties and Applications = ICFUA, Kolkata, India, December 2013 / by: (Language materials, printed)

Introduction to Concurrency Theory = Transition Systems and CCS / by: (Language materials, printed)

Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / by: (Language materials, printed)

From Logic to Practice = Italian Studies in the Philosophy of Mathematics / by: (Language materials, printed)

One Hundred Prisoners and a Light Bulb by: (Language materials, printed)

Nonstandard Analysis for the Working Mathematician by: (Language materials, printed)

Gentzen's Centenary = The Quest for Consistency / by: (Language materials, printed)

Petr Hájek on Mathematical Fuzzy Logic by: (Language materials, printed)

The Road to Universal Logic = Festschrift for 50th Birthday of Jean-Yves Béziau Volume I / by: (Language materials, printed)

Recent Developments in the Philosophy of Science: EPSA13 Helsinki by: (Language materials, printed)

Freedom and Enforcement in Action = A Study in Formal Action Theory / by: (Language materials, printed)

Computational Complexity of Solving Equation Systems by: (Language materials, printed)

Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / by: (Language materials, printed)

Ideals, Varieties, and Algorithms = An Introduction to Computational Algebraic Geometry and Commutative Algebra / by: (Language materials, printed)

Turing’s Revolution = The Impact of His Ideas about Computability / by: (Language materials, printed)

Logic, Mathematics, and Computer Science = Modern Foundations with Practical Applications / by: (Language materials, printed)

New Directions in Paraconsistent Logic = 5th WCP, Kolkata, India, February 2014 / by: (Language materials, printed)

Petri Net Synthesis by: (Language materials, printed)

Special Topics in Mathematics for Computer Scientists = Sets, Categories, Topologies and Measures / by: (Language materials, printed)

Quantum Physics, Fuzzy Sets and Logic = Steps Towards a Many-Valued Interpretation of Quantum Mechanics / by: (Language materials, printed)

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language by: (Language materials, printed)

The Road to Universal Logic = Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II / by: (Language materials, printed)

Towards an Arithmetical Logic = The Arithmetical Foundations of Logic / by: (Language materials, printed)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer by: (Language materials, printed)

Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / by: (Language materials, printed)

Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / by: (Language materials, printed)

Ernst Zermelo = An Approach to His Life and Work / by: (Language materials, printed)

Zur Robustheit von Konfidenzbereichen und Tests für Erwartungswerte by: (Language materials, printed)

Problems and Proofs in Numbers and Algebra by: (Language materials, printed)

Parametrisierte uniforme Berechnungskomplexität in Geometrie und Numerik by: (Language materials, printed)

Der Untergang von Mathemagika = Ein Roman über eine Welt jenseits unserer Vorstellung / by: (Language materials, printed)

The Unknown as an Engine for Science = An Essay on the Definite and the Indefinite / by: (Language materials, printed)

Ordered Sets = An Introduction with Connections from Combinatorics to Topology / by: (Language materials, printed)

The Congruences of a Finite Lattice = A "Proof-by-Picture" Approach / by: (Language materials, printed)

Philosophy of Science for Scientists by: (Language materials, printed)

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory by: (Language materials, printed)

J. Michael Dunn on Information Based Logics by: (Language materials, printed)

Towards Paraconsistent Engineering by: (Language materials, printed)

Cultures of Mathematics and Logic = Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 / by: (Language materials, printed)

Martin Davis on Computability, Computational Logic, and Mathematical Foundations by: (Language materials, printed)

Dependence Logic = Theory and Applications / by: (Language materials, printed)

Advances in Proof Theory by: (Language materials, printed)

Probability Logics = Probability-Based Formalization of Uncertain Reasoning / by: (Language materials, printed)

Number Theory = An Introduction via the Density of Primes / by: (Language materials, printed)

R-CALCULUS: A Logic of Belief Revision by: (Language materials, printed)

Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts by: (Language materials, printed)

Modelling Puzzles in First Order Logic by: (Language materials, printed)

Thinking Programs = Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by: (Language materials, printed)

Formeln und Begriffe der Analysis = Für Studierende der Ingenieurwissenschaften / by: (Language materials, printed)

Awareness in Logic and Epistemology = A Conceptual Schema and Logical Study of The Underlying Main Epistemic Concepts / by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 41st 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: (Language materials, printed)

Handbook of Computability and Complexity in Analysis by: (Language materials, printed)

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by: (Language materials, printed)

Hajnal Andréka and István Németi on Unity of Science = From Computing to Relativity Theory Through Algebraic Logic / by: (Language materials, printed)

Mathematical Logic by: (Language materials, printed)

Real Analysis: Foundations by: (Language materials, printed)

Theoremus = A Student's Guide to Mathematical Proofs / by: (Language materials, printed)

Lessons in Enumerative Combinatorics by: (Language materials, printed)

Mathematics, Logic, and their Philosophies = Essays in Honour of Mohammad Ardeshir / by: (Language materials, printed)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics by: (Language materials, printed)

Fuzzy Logic = Recent Applications and Developments / by: (Language materials, printed)

Top-Down Causation and Emergence by: (Language materials, printed)

Biological Models via Interval Type-2 Fuzzy Sets by: (Language materials, printed)

Mathematische Geschichten III – Eulerscher Polyedersatz, Schubfachprinzip und Beweise = Für begabte Schülerinnen und Schüler in der Unterstufe / by: (Language materials, printed)

Diskrete Mathematik mit Grundlagen = Lehrbuch für Studierende von MINT-Fächern / by: (Language materials, printed)

The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics by: (Language materials, printed)

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems = Communications of NII Shonan Meetings / by: (Language materials, printed)

Problem Solving In Operation Management by: (Language materials, printed)

A New Perspective on Nonmonotonic Logics by: (Language materials, printed)

Models and Inferences in Science by: (Language materials, printed)

Mathematics and the Mind = An Introduction into Ibn Sīnā’s Theory of Knowledge / by: (Language materials, printed)

Structural Analysis of Non-Classical Logics = The Proceedings of the Second Taiwan Philosophical Logic Colloquium / by: (Language materials, printed)

Trick or Truth? = The Mysterious Connection Between Physics and Mathematics / by: (Language materials, printed)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics by: (Language materials, printed)

Objectivity, Realism, and Proof = FilMat Studies in the Philosophy of Mathematics / by: (Language materials, printed)

Modern Logic 1850-1950, East and West by: (Language materials, printed)

Turing Computability = Theory and Applications / by: (Language materials, printed)

Advances in Proof-Theoretic Semantics by: (Language materials, printed)

Finitely Supported Mathematics = An Introduction / by: (Language materials, printed)

12 × 12 Schlüsselkonzepte zur Mathematik by: (Language materials, printed)

Writing Proofs in Analysis by: (Language materials, printed)

Great Circle of Mysteries = Mathematics, the World, the Mind / by: (Language materials, printed)

Ludwig Wittgenstein’s Philosophical Investigations = An Attempt at a Critical Rationalist Appraisal / by: (Language materials, printed)

Contradictions, from Consistency to Inconsistency by: (Language materials, printed)

Theoretische Informatik = Eine umfassende Einführung / by: (Language materials, printed)

Intuitionistic Proof Versus Classical Truth = The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics / by: (Language materials, printed)

Formal Methods for Nonmonotonic and Related Logics = Vol II: Theory Revision, Inheritance, and Various Abstract Properties / by: (Language materials, printed)

Formal Methods for Nonmonotonic and Related Logics = Vol I: Preference and Size / by: (Language materials, printed)

Logics for Computer Science = Classical and Non-Classical / by: (Language materials, printed)

Contextualism, Factivity and Closure = A Union That Should Not Take Place? / by: (Language materials, printed)

Logica = Volume 2 - Incompletezza, teoria assiomatica degli insiemi / by: (Language materials, printed)

Scientific Philosophy by: (Language materials, printed)

Introduction to Formal Philosophy by: (Language materials, printed)

Truth-Seeking by Abduction by: (Language materials, printed)

The Map and the Territory = Exploring the Foundations of Science, Thought and Reality / by: (Language materials, printed)

Exploring Meinong’s Jungle and Beyond = The Sylvan Jungle - Volume 1 / by: (Language materials, printed)

Logical Foundations of Cyber-Physical Systems by: (Language materials, printed)

Quantum Computation and Logic = How Quantum Computers Have Inspired Logical Investigations / by: (Language materials, printed)

Ewa Orłowska on Relational Methods in Logic and Computer Science by: (Language materials, printed)

Fuzzy Lie Algebras by: (Language materials, printed)

Denken in Strukturen und seine Geschichte = Von der Kraft des mathematischen Beweises / by: (Language materials, printed)

Hilary Putnam on Logic and Mathematics by: (Language materials, printed)

Philosophical and Mathematical Logic by: (Language materials, printed)

The Philosophers and Mathematics = Festschrift for Roshdi Rashed / by: (Language materials, printed)

Mathematical Logic = On Numbers, Sets, Structures, and Symmetry / by: (Language materials, printed)

Methods of Solving Number Theory Problems by: (Language materials, printed)

Immanent Reasoning or Equality in Action = A Plaidoyer for the Play Level / by: (Language materials, printed)

Zur Philosophie der Mathematik = Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze / by: (Language materials, printed)

Grenzen der Mathematik = Eine Reise durch die Kerngebiete der mathematischen Logik / by: (Language materials, printed)

Mathematik für Software Engineering by: (Language materials, printed)

New Essays on Frege = Between Science and Literature / by: (Language materials, printed)

Building Theories = Heuristics and Hypotheses in Sciences / by: (Language materials, printed)

Relational Topology by: (Language materials, printed)

A History of Folding in Mathematics = Mathematizing the Margins / by: (Language materials, printed)

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science by: (Language materials, printed)

Handbook of Model Checking by: (Language materials, printed)

Wandering Towards a Goal = How Can Mindless Mathematical Laws Give Rise to Aims and Intention? / by: (Language materials, printed)

The Lvov-Warsaw School. Past and Present by: (Language materials, printed)

Structures and Algorithms = Mathematics and the Nature of Knowledge / by: (Language materials, printed)

An Introduction to the Technique of Formative Processes in Set Theory by: (Language materials, printed)

The Hyperuniverse Project and Maximality by: (Language materials, printed)

Gottlob Frege = Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / by: (Language materials, printed)

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics by: (Language materials, printed)

Larisa Maksimova on Implication, Interpolation, and Definability by: (Language materials, printed)

Artificial Adaptive Systems Using Auto Contractive Maps = Theory, Applications and Extensions / by: (Language materials, printed)

Philosophy's Loss of Logic to Mathematics = An Inadequately Understood Take-Over / by: (Language materials, printed)

Computational Artifacts = Towards a Philosophy of Computer Science / by: (Language materials, printed)

Theory of Graded Consequence = A General Framework for Logics of Uncertainty / by: (Language materials, printed)

Proof Theory and Algebra in Logic by: (Language materials, printed)

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering = AMINSE 2017, Tbilisi, Georgia, December 6-9 / by: (Language materials, printed)

Mathesis Universalis, Computability and Proof by: (Language materials, printed)

Conceptual Spaces: Elaborations and Applications by: (Language materials, printed)

Heyting Algebras = Duality Theory / by: (Language materials, printed)

A Model–Theoretic Approach to Proof Theory by: (Language materials, printed)

Combinatorial Set Theory of C*-algebras by: (Language materials, printed)

Graham Priest on Dialetheism and Paraconsistency by: (Language materials, printed)

Logic Functions and Equations = Binary Models for Computer Science / by: (Language materials, printed)

Parameterized Complexity in the Polynomial Hierarchy = Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy / by: (Language materials, printed)

Temporal Type Theory = A Topos-Theoretic Approach to Systems and Behavior / by: (Language materials, printed)

What is Fundamental? by: (Language materials, printed)

Laws and Explanations; Theories and Modal Possibilities by: (Language materials, printed)

New Essays on Belnap-­Dunn Logic by: (Language materials, printed)

Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung / by: (Language materials, printed)

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory by: (Language materials, printed)

Semantics and Truth by: (Language materials, printed)

Leibniz and the Structure of Sciences = Modern Perspectives on the History of Logic, Mathematics, Epistemology / by: (Language materials, printed)

Incompleteness for Higher-Order Arithmetic = An Example Based on Harrington’s Principle / by: (Language materials, printed)

Introduction to Discrete Mathematics via Logic and Proof by: (Language materials, printed)

Aspekte des Unendlichen = Eine kleine Erzählung für Nichtmathematiker / by: (Language materials, printed)

Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts / by: (Language materials, printed)

Mathematische Modelle des Kontinuums by: (Language materials, printed)

Ultralogic as Universal? = The Sylvan Jungle - Volume 4 / by: (Language materials, printed)

Logic, Rationality, and Interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / by: (Language materials, printed)

Constructive Semantics = Meaning in Between Phenomenology and Constructivism / by: (Language materials, printed)

Noneist Explorations I = The Sylvan Jungle - Volume 2 / by: (Language materials, printed)