Mathematical Logic and Foundations.

Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems / by: (Electronic resources)

Combinatorial set theory = with a gentle introduction to forcing / by: (Electronic resources)

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

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

Epistemology versus ontology = essays on the philosophy and foundations of mathematics in honour of Per Martin-Lof / by: (Electronic resources)

Mathematics of discrete structures for computer science by: (Electronic resources)

Apartness and uniformity = a constructive development / by: (Electronic resources)

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

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

Cardinal invariants on Boolean algebras by: (Electronic resources)

Algorithms in Invariant Theory by: (Electronic resources)

Reading, writing, and proving = a closer look at mathematics / by: (Electronic resources)

Treatise on intuitionistic type theory by: (Electronic resources)

Information and Knowledge = A Constructive Type-theoretical Approach / by: (Electronic resources)

Algorithmic composition = paradigms of automated music generation / by: (Electronic resources)

Logic and philosophy of mathematics in the early Husserl by: (Electronic resources)

Hyperfinite dirichlet forms and stochastic processes by: (Electronic resources)

Proof, computation and agency = logic at the crossroads / by: (Electronic resources)

Hybrid logic and its proof-theory by: (Electronic resources)

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

Laws of Nature by: (Electronic resources)

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

A missing link in cybernetics = logic and continuity / by: (Electronic resources)

Logic and integer programming by: (Electronic resources)

A beginner's guide to discrete mathematics by: (Electronic resources)

Valued Fields by: (Electronic resources)

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

On intuitionistic fuzzy sets theory by: (Electronic resources)

Mathematical logic = foundations for information science / by: (Electronic resources)

Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (Electronic resources)

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

Discrete thoughts = essays on mathematics, science, and philosophy / by: (Electronic resources)

Visualization, Explanation and Reasoning Styles in Mathematics by: (Electronic resources)

From objects to diagrams for ranges of functors by: (Electronic resources)

The mathematical experience by: (Electronic resources)

A logical introduction to proof by: (Electronic resources)

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

Advanced Lukasiewicz calculus and MV-algebras by: (Electronic resources)

The selected correspondence of L.E.J. Brouwer by: (Electronic resources)

From a geometrical point of view = a study of the history and philosophy of category theory / by: (Electronic resources)

New Developments in Formal Languages and Applications by: (Electronic resources)

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

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

Handbook of weighted automata by: (Electronic resources)

Propositional and Predicate Calculus A Model of Argument by: (Electronic resources)

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

Deduction, computation, experiment = exploring the effectiveness of proof / by: (Electronic resources)

Indiscrete thoughts by: (Electronic resources)

Banach spaces and descriptive set theory = selected topics / by: (Electronic resources)

The mathematical coloring book = mathematics of coloring and the colorful life of its creators / by: (Electronic resources)

Recasting reality = Wolfgang Pauli's philosophical ideas and contemporary science / by: (Electronic resources)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Electronic resources)

Around and beyond the square of opposition by: (Electronic resources)

Guida alla teoria degli insiemi by: (Electronic resources)

Collected works. = gesammelte Werke.. Volume I,; Band I,. Set theory, miscellanea; Mengenlehre, varia / by: (Electronic resources)

Mathematical logic for computer science by: (Electronic resources)

Typed lambda calculi and applications = 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ by: (Electronic resources)

Foundational theories of classical and constructive mathematics by: (Electronic resources)

Proof theory = the first step into impredicativity / by: (Electronic resources)

Trends in Continuum Mechanics of Porous Media by: (Electronic resources)

Categories for Software Engineering by: (Electronic resources)

Constructive Negations and Paraconsistency by: (Electronic resources)

Rough sets and knowledge technology = 4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / by: (Electronic resources)

Sparsity = graphs, structures, and algorithms / by: (Electronic resources)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (Electronic resources)

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

Foundations of algebraic specification and formal software development by: (Electronic resources)

Completeness theory for propositional logics by: (Electronic resources)

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

Formal theories of information = from Shannon to semantic information theory and general concepts of information / by: (Electronic resources)

Dual tableaux = foundations, methodology, case studies / by: (Electronic resources)

Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler / by: (Electronic resources)

A Course on Mathematical Logic by: (Electronic resources)

A Modern Perspective on Type Theory = From its Origins until Today / by: (Electronic resources)

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

Introduction to mathematical structures and proofs by: (Electronic resources)

Logica Universalis = Towards a General Theory of Logic / by: (Electronic resources)

Excursions in the history of mathematics by: (Electronic resources)

Games = unifying logic, language, and philosophy / by: (Electronic resources)

Logic for computer scientists by: (Electronic resources)

Institution-independent model theory by: (Electronic resources)

Field arithmetic by: (Electronic resources)

The P=NP question and Godel's lost letter by: (Electronic resources)

Rewriting techniques and applications = 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / by: (Electronic resources)

The proof is in the pudding = the changing nature of mathematical proof / by: (Electronic resources)

Additive number theory = festschrift in honor of the sixtieth birthday of Melvyn B. Nathanson / by: (Electronic resources)

Conditionals and modularity in general logics by: (Electronic resources)

A concise introduction to mathematical logic by: (Electronic resources)

Ultimate explanations of the universe by: (Electronic resources)

Dude, can you count? = Stories, Challenges, and Adventures in Mathematics / by: (Electronic resources)

Combinatorics and graph theor by: (Electronic resources)

Methods of cut-elimination by: (Electronic resources)

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

Field Arithmetic by: (Electronic resources)

Natural deduction, hybrid systems and modal logics by: (Electronic resources)

The Colorado Mathematical Olympiad and further explorations = from the mountains of Colorado to the peaks of mathematics / by: (Electronic resources)

Logic = a brief course / by: (Electronic resources)

Lecture notes on O-minimal structures and real analytic geometry by: (Electronic resources)

Introduction to Modern Number Theory = Fundamental Problems, Ideas and Theories / by: (Electronic resources)

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

From boolean logic to switching circuits and automata = towards modern information technology / by: (Electronic resources)

Generalized measure theory by: (Electronic resources)

Games, norms and reasons = logic at the crossroads / by: (Electronic resources)

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

Proofs and fundamentals = a first course in abstract mathematics / by: (Electronic resources)

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: (Electronic resources)

A course in mathematical logic for mathematicians by: (Electronic resources)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (Electronic resources)

Mathematical lives = protagonists of the twentieth century from Hilbert to Wiles / by: (Electronic resources)

Strict finitism and the logic of mathematical applications by: (Electronic resources)

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

Scenario logic and probabilistic management of risk in business and engineering by: (Electronic resources)