2015, Discrete mathematics and its applications, ISBN 1466564660, x, 376 pages

"Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction...

MATHEMATICS / General | MATHEMATICS / Set Theory | Proof theory | MATHEMATICS / Arithmetic

MATHEMATICS / General | MATHEMATICS / Set Theory | Proof theory | MATHEMATICS / Arithmetic

Book

2006, Oxford texts in logic, ISBN 9780198529804, Volume 1., xx, 431

Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and...

Logic | Logic, Symbolic and mathematical

Logic | Logic, Symbolic and mathematical

Book

2005, 3RD ED., OXFORD LOGIC GUIDES; 47. SER: OXFORD SCIENCE PUBLICATIONS., ISBN 9780198568520, Volume 47, 214

This is the third edition of a well-known graduate textbook on Boolean-valued models of set theory. The aim of the first and second editions was to provide a...

logic and philosophy | Algebra, Boolean | Heyting algebra | Ultrailter | Category | Generic | Boolean algebra | Boolean-valued model | Forcing | Axiom of choice | Continuum hypothesis | Lattice | Set theory

logic and philosophy | Algebra, Boolean | Heyting algebra | Ultrailter | Category | Generic | Boolean algebra | Boolean-valued model | Forcing | Axiom of choice | Continuum hypothesis | Lattice | Set theory

Book

2011, Lecture notes in logic, ISBN 9781107008045, Volume 36, xiii, 227

"This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how...

Logic, Symbolic and mathematical | Set theory | Mathematics | Philosophy

Logic, Symbolic and mathematical | Set theory | Mathematics | Philosophy

Book

2011, Discrete mathematics and its applications, ISBN 1420093649, xxiv, 893

Book

2016, Progress in Computer Science and Applied Logic, ISBN 9783319291963, Volume 28

Web Resource

2009, Universitext, ISBN 9783540693192

Web Resource

2009, Universitext, ISBN 9783540693192

Web Resource

06/2008, Lecture Notes in Mathematics Ser., ISBN 9783540518426

Annotation Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a...

Mathematics | Proof Theory

Mathematics | Proof Theory

Web Resource

06/2008, Lecture Notes in Mathematics Ser., ISBN 9783540518426

Annotation Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a...

Mathematics | Proof Theory

Mathematics | Proof Theory

Web Resource

2008, Universitext, ISBN 9783540693192

Web Resource

1986, Studies in proof theory, Volume 2, 167 p. --

Book

1992, Research report, ISBN 8273680800, Volume no. 171., x, 220

Book

2000, 2nd ed., Cambridge tracts in theoretical computer science, ISBN 9780521779111, Volume 43, xii, 417

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order...

Proof theory

Proof theory

Book

2001, ISBN 9780521793070, xvii, 257

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise...

Proof theory

Proof theory

Book

1969, The Johns Hopkins humanities seminars, ISBN 0801810159, 247

Book

2000, Applied logic series, ISBN 0792364732, Volume 21, x, 266

Book

2016, ISBN 9813147547, xxvi, 706 pages

Book

No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.