Logic: A Brief Course

Non solo calcoli Domande e risposte sui perché della matematica

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

Truth and Falsehood An Inquiry into Generalized Logical Values

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

Mathematical Olympiad Treasures

Excursions in the History of Mathematics

A Beginner's Guide to Discrete Mathematics

The Mathematical Experience, Study Edition

A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences

Around and Beyond the Square of Opposition

Teoria algebrica dei meccanismi automatici

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

On Intuitionistic Fuzzy Sets Theory

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

Foundations of Algebraic Specification and Formal Software Development

Combinatorial Set Theory With a Gentle Introduction to Forcing

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

Introduction to Mathematical Structures and Proofs

Sparsity Graphs, Structures, and Algorithms

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

Hyperfinite Dirichlet Forms and Stochastic Processes

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Un mondo di idee La matematica ovunque

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

Logica: Metodo Breve

Hybrid Logic and its Proof-Theory

Dual Tableaux: Foundations, Methodology, Case Studies

Proof, Computation and Agency Logic at the Crossroads

Apartness and Uniformity A Constructive Development

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell

Foundational Theories of Classical and Constructive Mathematics

Games, Norms and Reasons Logic at the Crossroads

Advanced Łukasiewicz calculus and MV-algebras

Treatise on Intuitionistic Type Theory

Recursion Theory and Computational Complexity

Model Theory and Applications

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

Conditionals and Modularity in General Logics

From Objects to Diagrams for Ranges of Functors

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics

The Selected Correspondence of L.E.J. Brouwer

The Proof is in the Pudding The Changing Nature of Mathematical Proof

Proofs and Fundamentals A First Course in Abstract Mathematics

Reading, Writing, and Proving A Closer Look at Mathematics

Methods of Cut-Elimination

Logic and Philosophy of Mathematics in the Early Husserl

Natural Deduction, Hybrid Systems and Modal Logics

Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo

Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson

Handbook of Set Theory

Mathematische Logik

Cognitive Reasoning A Formal Approach

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia

Banach Spaces and Descriptive Set Theory: Selected Topics

The P=NP Question and Gödel’s Lost Letter

Cardinal Invariants on Boolean Algebras

Logical Tools for Handling Change in Agent-Based Systems

Proof Theory The First Step into Impredicativity

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logische Grundlagen der Mathematik

Handbook of Weighted Automata

Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings

Introduction to Boolean Algebras

Logicism, Intuitionism, and Formalism What has Become of Them?

Games: Unifying Logic, Language, and Philosophy

Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics

Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Ultimate Explanations of the Universe

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators

A Missing Link in Cybernetics Logic and Continuity