UofT Libraries is getting a new library services platform in January 2021.

Learn more about the change.

## Search Articles

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

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

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...

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

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

Book

2016, ISBN 9813147547, xxvi, 706 pages

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

2008, 1. Aufl., Springer monographs in mathematics, ISBN 9783540775331, xix, 532

Currently not available, will follow before Dec 30.

Approximation theory | Proof theory | Automatic theorem proving | Nonlinear operators

Approximation theory | Proof theory | Automatic theorem proving | Nonlinear operators

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...

Proof theory

Proof theory

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 second-order logic, as well as proof theory...

Logic | Logic, Symbolic and mathematical

Logic | Logic, Symbolic and mathematical

Book

9.
Proof theory

1977, Grundlehren der mathematischen Wissenschaften, ISBN 9780387079110, Volume 225, xii, 302 p. --

Book

2019, Short textbooks in logic, ISBN 9811379963, 164

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively...

eBook

1989, Lecture notes in mathematics, ISBN 9780387518428, Volume 1407, vi, 213

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 very advanced level...

Proof theory | Logic, Symbolic and mathematical | Number theory | Mathematical Logic and Foundations

Proof theory | Logic, Symbolic and mathematical | Number theory | Mathematical Logic and Foundations

Book

2009, 1. Aufl., ISBN 9780470408551, xv, 482

... and up-to-date collection of recent advances and developments in the field. This book provides modern coverage of the theory, construction, and implementation...

Differential Equations | Mathematics / Differential Equations / General | Differential equations, Linear | Linear systems

Differential Equations | Mathematics / Differential Equations / General | Differential equations, Linear | Linear systems

Book

2012, ISBN 0521517699, xiii, 465

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability...

Computable functions | Proof theory

Computable functions | Proof theory

Book

Journal of automated reasoning, ISSN 1573-0670, 06/2018, Volume 63, Issue 4, pp. 857 - 885

While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing...

Linear logic | Artificial Intelligence | Computer Science | Model checking | Fixed points | Proof theory | Focused proof systems | Symbolic and Algebraic Manipulation | Mathematical Logic and Foundations | Mathematical Logic and Formal Languages | Computer Science, Artificial Intelligence | Technology | Science & Technology | Inference | Deduction | Logic programming | Logic in Computer Science

Linear logic | Artificial Intelligence | Computer Science | Model checking | Fixed points | Proof theory | Focused proof systems | Symbolic and Algebraic Manipulation | Mathematical Logic and Foundations | Mathematical Logic and Formal Languages | Computer Science, Artificial Intelligence | Technology | Science & Technology | Inference | Deduction | Logic programming | Logic in Computer Science

Journal Article

Educational studies in mathematics, ISSN 0013-1954, 10/2017, Volume 96, Issue 2, pp. 187 - 205

.... We present a case study from a Number Theory class at the beginning undergraduate level, focusing on an intervention concerning one lesson given in two consecutive years...

Mathematical argumentation | Flow of proof | Creating presence | Education | Mathematics Education | Mathematics, general | Proof teaching | Perelman’s New Rhetoric | Education & Educational Research | Social Sciences | Intervention | Validity | Numbers | Persuasive Discourse | Mathematics Instruction | Undergraduate Study | Theories | Case Studies | Mathematical Logic | Number Concepts | Case studies | Study and teaching | Mathematics | Number theory | Proving

Mathematical argumentation | Flow of proof | Creating presence | Education | Mathematics Education | Mathematics, general | Proof teaching | Perelman’s New Rhetoric | Education & Educational Research | Social Sciences | Intervention | Validity | Numbers | Persuasive Discourse | Mathematics Instruction | Undergraduate Study | Theories | Case Studies | Mathematical Logic | Number Concepts | Case studies | Study and teaching | Mathematics | Number theory | Proving

Journal Article

2016, Progress in computer science and applied logic, ISBN 9783319291963, Volume 28, 430

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas...

Logic | Proof theory

Logic | Proof theory

eBook

Synthese (Dordrecht), ISSN 1573-0964, 03/2017, Volume 196, Issue 9, pp. 3577 - 3593

.... The paper uses Newton’s optical theory as a case study to discuss mathematical idealizations and depictions of experiments (‘equidiametric’ and ‘harmonic...

Philosophy of Science | Philosophy of Language | Mathematical idealization | Epistemology | Newton I | Burden of proof | Vagueness | Optics | Metaphysics | Logic | Philosophy | Theory-acceptance | Arts & Humanities | History & Philosophy Of Science | Case studies | Analysis | Evidentiality | Diagrams | Theoretical mathematics | Authorial voice | Neologisms | Polysemy | Newton, Isaac (1642-1727) | Mathematics | Proof theory

Philosophy of Science | Philosophy of Language | Mathematical idealization | Epistemology | Newton I | Burden of proof | Vagueness | Optics | Metaphysics | Logic | Philosophy | Theory-acceptance | Arts & Humanities | History & Philosophy Of Science | Case studies | Analysis | Evidentiality | Diagrams | Theoretical mathematics | Authorial voice | Neologisms | Polysemy | Newton, Isaac (1642-1727) | Mathematics | Proof theory

Journal Article

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

eBook

No results were found for your search.

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