UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.

Search Articles

X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (7727) 7727
Book Chapter (1767) 1767
Conference Proceeding (1079) 1079
Book / eBook (625) 625
Magazine Article (236) 236
Dissertation (235) 235
Newspaper Article (150) 150
Web Resource (120) 120
Book Review (81) 81
Reference (57) 57
Publication (24) 24
Government Document (22) 22
Trade Publication Article (6) 6
Report (5) 5
Journal / eJournal (2) 2
Newsletter (2) 2
Paper (2) 2
Streaming Video (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
science & technology (3388) 3388
mathematics (2967) 2967
proof theory (2850) 2850
computer science (2083) 2083
physical sciences (1975) 1975
logical proofs (1636) 1636
logic (1611) 1611
technology (1465) 1465
analysis (1117) 1117
philosophy (1017) 1017
mathematical theorems (920) 920
proof (920) 920
burden of proof (885) 885
science & technology - other topics (822) 822
computer science, theory & methods (791) 791
social sciences (768) 768
algebra (730) 730
mathematical logic (721) 721
studies (708) 708
theorems (558) 558
mathematics, applied (547) 547
arts & humanities (543) 543
mathematical analysis (534) 534
mathematical functions (520) 520
logical theorems (461) 461
usage (440) 440
mathematics education (433) 433
algorithms (427) 427
semantics (413) 413
geometry (403) 403
polynomials (363) 363
logic in computer science (360) 360
mathematical models (358) 358
research (345) 345
integers (342) 342
mathematical logic and foundations (342) 342
statistics & probability (315) 315
law (309) 309
reasoning (305) 305
business & economics (303) 303
engineering (301) 301
economics (300) 300
artificial intelligence (294) 294
evidence (281) 281
proving (281) 281
god (278) 278
laws, regulations and rules (277) 277
axioms (257) 257
[info.info-lo]computer science [cs]/logic in computer science [cs.lo] (256) 256
mathematical problems (247) 247
theoretical computer science (247) 247
epistemology (244) 244
mathematics, general (241) 241
mathematics instruction (239) 239
sequent calculus (239) 239
computer science, information systems (230) 230
proof obligation (226) 226
theory (225) 225
life sciences & biomedicine (222) 222
logic, symbolic and mathematical (219) 219
computer science, software engineering (218) 218
proof assistant (213) 213
proof system (213) 213
calculus (211) 211
humans (211) 211
physics (211) 211
methods (208) 208
education (207) 207
inference (202) 202
metaphysics (200) 200
proof complexity (198) 198
arithmetic (194) 194
game theory (194) 194
modal logic (193) 193
probability (193) 193
truth (192) 192
computer science, artificial intelligence (188) 188
proofreading (187) 187
validity (187) 187
notes (185) 185
government & law (182) 182
engineering, electrical & electronic (179) 179
approximation (177) 177
set theory (175) 175
college mathematics (174) 174
number theory (174) 174
random variables (174) 174
economic theory (172) 172
computer science - logic in computer science (167) 167
combinatorics (163) 163
cryptography (160) 160
linear logic (160) 160
sequents (160) 160
type theory (158) 158
mathematical induction (155) 155
statistics (153) 153
tests, problems and exercises (148) 148
games (145) 145
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (147) 147
Online Resources - Online (130) 130
Gerstein Science - Stacks (105) 105
Mathematical Sciences - Stacks (103) 103
Collection Dvlpm't (Acquisitions) - Vendor file (66) 66
St. Michael's College (John M. Kelly) - 3rd Floor (58) 58
UofT at Mississauga - Stacks (56) 56
UTL at Downsview - May be requested (41) 41
Trinity College (John W Graham) - Stacks (40) 40
UofT at Scarborough - Stacks (40) 40
St. Michael's College (John M. Kelly) - 2nd Floor (25) 25
Victoria University E.J. Pratt - Stacks (25) 25
Engineering & Comp. Sci. - Stacks (22) 22
Collection Dvlpm't (Acquisitions) - Closed Orders (19) 19
Law (Bora Laskin) - Stacks (18) 18
Regis College - Stacks (15) 15
OISE - Stacks (13) 13
Trinity College (John W Graham) - Storage (12) 12
Thomas Fisher Rare Book - Rare Book (11) 11
Knox College (Caven) - Stacks (10) 10
Pontifical Inst. Mediaeval Studies - Library use only (9) 9
St. Augustine's Seminary - Stacks (8) 8
Institute for Christian Studies - Stacks (5) 5
Mathematical Sciences - Missing (5) 5
Victoria University Emmanuel College - Stacks (5) 5
Thomas Fisher Rare Book - May be requested at Fisher (4) 4
Regis College - Lonergan Research Institute (3) 3
UofT at Mississauga - May be requested in 6-10 wks (3) 3
UofT at Mississauga - Missing (3) 3
Gerstein Science - Theses (2) 2
Mathematical Sciences - Searching (2) 2
Pontifical Inst. Mediaeval Studies - Gilson (2) 2
East Asian (Cheng Yu Tung) - Stacks (1) 1
Engineering & Comp. Sci. - May be requested in 6-10 wks (1) 1
Engineering & Comp. Sci. - Periodical Stacks (1) 1
Faculty of Information - Stacks (1) 1
Gerstein Science - Not Returned (1) 1
Innis College - Stacks (1) 1
Law (Bora Laskin) - Closed Orders (1) 1
OISE - Curriculum Resources (1) 1
OISE - May be requested in 6-10 wks (1) 1
OISE - Ontario Historical Ed (1) 1
OISE - Theses (1) 1
Physics - Stacks (1) 1
Providence Healthcare - Stacks (1) 1
Regis College - Storage (1) 1
Robarts - Storage (1) 1
Royal Ontario Museum - Stacks (1) 1
St. Michael's College (John M. Kelly) - Not Returned (1) 1
Trinity College (John W Graham) - Strachan (1) 1
Trinity College (John W Graham) - Wycliffe Storage (1) 1
University Archives - Archives (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT Schools - Stacks (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
Victoria University Emmanuel College - Storage (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (11898) 11898
Japanese (95) 95
German (63) 63
French (59) 59
Korean (49) 49
Portuguese (47) 47
Spanish (44) 44
Chinese (27) 27
Latin (15) 15
Russian (12) 12
Czech (8) 8
Afrikaans (6) 6
Italian (6) 6
Swedish (5) 5
Croatian (2) 2
Hungarian (2) 2
Norwegian (2) 2
Polish (2) 2
Sanskrit (2) 2
Serbian (2) 2
Turkish (2) 2
Arabic (1) 1
Dutch (1) 1
Hebrew (1) 1
Indonesian (1) 1
Persian (1) 1
Slovak (1) 1
Ukrainian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


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
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
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
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
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
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
Book
1977, Grundlehren der mathematischen Wissenschaften, ISBN 9780387079110, Volume 225, xii, 302 p. --
Book
1987, 2nd ed., ISBN 0444879439, Volume 81., x, 490
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
Book
Studies in proof theory, 1987
Journal
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
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
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
Journal Article
Educational studies in mathematics, ISSN 0013-1954, 10/2017, Volume 96, Issue 2, pp. 187 - 205
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
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
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.