X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (12222) 12222
Publication (1634) 1634
Conference Proceeding (1126) 1126
Book / eBook (776) 776
Book Chapter (407) 407
Book Review (159) 159
Dissertation (148) 148
Newspaper Article (144) 144
Web Resource (121) 121
Magazine Article (118) 118
Reference (56) 56
Paper (53) 53
Government Document (22) 22
Trade Publication Article (16) 16
Report (5) 5
Data Set (2) 2
Newsletter (2) 2
Electronic Resource (1) 1
Journal / eJournal (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
mathematics (3917) 3917
proof (3874) 3874
proof theory (2613) 2613
computer science, theory & methods (1729) 1729
logic (1605) 1605
computer science (1601) 1601
analysis (1544) 1544
logical proofs (1532) 1532
mathematics, applied (1464) 1464
philosophy (1065) 1065
studies (976) 976
mathematical theorems (910) 910
algebra (849) 849
mathematical analysis (827) 827
burden of proof (812) 812
theorems (721) 721
mathematical logic (680) 680
proofs (667) 667
algorithms (655) 655
mathematical functions (559) 559
physics (541) 541
usage (525) 525
mathematical models (513) 513
geometry (488) 488
research (485) 485
economics (479) 479
semantics (463) 463
polynomials (461) 461
quantum physics (450) 450
physics, mathematical (449) 449
mathematics education (445) 445
logical theorems (435) 435
physics, multidisciplinary (423) 423
computer science, information systems (419) 419
statistics & probability (419) 419
physics, particles & fields (401) 401
mathematics, general (386) 386
integers (380) 380
theory (379) 379
theorem (378) 378
computer science, software engineering (375) 375
god (375) 375
artificial intelligence (374) 374
engineering, electrical & electronic (370) 370
mathematical logic and foundations (357) 357
systems (351) 351
combinatorics (339) 339
proving (338) 338
theoretical computer science (338) 338
law (333) 333
cryptography (327) 327
index medicus (327) 327
complexity (307) 307
models (303) 303
computer science, artificial intelligence (297) 297
reasoning (290) 290
calculus (289) 289
conjecture (288) 288
evidence (280) 280
logic in computer science (277) 277
existence (275) 275
mathematical problems (268) 268
high energy physics - theory (265) 265
methods (265) 265
axioms (264) 264
laws, regulations and rules (261) 261
probability (261) 261
approximation (260) 260
economic theory (255) 255
security (251) 251
epistemology (243) 243
game theory (242) 242
mathematics instruction (231) 231
computation (227) 227
computer science, hardware & architecture (227) 227
humans (224) 224
mathematical physics (224) 224
verification (218) 218
number theory (217) 217
general relativity and quantum cosmology (216) 216
education (215) 215
electronic books (211) 211
astronomy & astrophysics (209) 209
games (206) 206
random variables (205) 205
inference (197) 197
computational mathematics and numerical analysis (196) 196
graphs (194) 194
arithmetic (193) 193
logic, symbolic and mathematical (192) 192
lower bounds (191) 191
absence (187) 187
statistics (185) 185
optimization (184) 184
sequent calculus (183) 183
modal logic (182) 182
metaphysics (181) 181
history & philosophy of science (180) 180
validity (180) 180
proof complexity (179) 179
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (237) 237
Online Resources - Online (135) 135
Gerstein Science - Stacks (118) 118
St. Michael's College (John M. Kelly) - 3rd Floor (112) 112
Mathematical Sciences - Stacks (99) 99
UTL at Downsview - May be requested (87) 87
UofT at Mississauga - Stacks (72) 72
Trinity College (John W Graham) - Stacks (71) 71
Collection Dvlpm't (Acquisitions) - Vendor file (70) 70
UofT at Scarborough - Stacks (57) 57
Victoria University E.J. Pratt - Stacks (48) 48
Regis College - Stacks (38) 38
St. Michael's College (John M. Kelly) - 2nd Floor (31) 31
Thomas Fisher Rare Book - Rare Book (31) 31
Law (Bora Laskin) - Stacks (29) 29
St. Augustine's Seminary - Stacks (27) 27
Collection Dvlpm't (Acquisitions) - Closed Orders (26) 26
Pontifical Inst. Mediaeval Studies - Library use only (26) 26
Knox College (Caven) - Stacks (25) 25
Trinity College (John W Graham) - Storage (25) 25
Engineering & Comp. Sci. - Stacks (23) 23
OISE - Stacks (21) 21
Victoria University Emmanuel College - Stacks (20) 20
Institute for Christian Studies - Stacks (10) 10
Trinity College (John W Graham) - Wycliffe Storage (7) 7
Mathematical Sciences - Missing (5) 5
Thomas Fisher Rare Book - May be requested at Fisher (5) 5
Regis College - Lonergan Research Institute (4) 4
Robarts - Reference (4) 4
Victoria University Emmanuel College - Storage (4) 4
Massey College (Robertson Davies) - Rare Book (3) 3
New College (Ivey) - Stacks (3) 3
St. Michael's College (John M. Kelly) - 1st Floor (3) 3
UofT Schools - Stacks (3) 3
UofT at Mississauga - Missing (3) 3
Faculty of Information - Stacks (2) 2
Gerstein Science - Theses (2) 2
Innis College - Reference (2) 2
Knox College (Caven) - Storage (2) 2
Mathematical Sciences - Searching (2) 2
OISE - Reference (2) 2
Pontifical Inst. Mediaeval Studies - Gilson (2) 2
St. Michael's College (John M. Kelly) - Reference (2) 2
Trinity College (John W Graham) - Reference (2) 2
UofT at Mississauga - May be requested in 6-10 wks (2) 2
UofT at Scarborough - Withdrawn (2) 2
Victoria University E.J. Pratt - Reference (2) 2
Victoria University E.J. Pratt - Storage (2) 2
Architecture Landscape (Shore + Moffat) - Reference (1) 1
Art - Library use only (1) 1
Astronomy & Astrophysics - Ask at library (1) 1
Baycrest Hospital - Resident/Client Library (1) 1
Business (Joseph L Rotman) - Library use only (1) 1
Criminology - Stacks (1) 1
Dentistry (Harry R Abbott) - Stacks (1) 1
Earth Sciences (Noranda) - Reference (1) 1
East Asian (Cheng Yu Tung) - Stacks (1) 1
Gerstein Science - Not Returned (1) 1
Holland Bloorview Kids Rehabilitation - Stacks (1) 1
Innis College - Stacks (1) 1
Law (Bora Laskin) - Closed Orders (1) 1
Mathematical Sciences - Reference (1) 1
OISE - Children's Literature (1) 1
OISE - Curriculum Resources (1) 1
OISE - Ontario Historical Ed (1) 1
OISE - Theses (1) 1
Physics - Reference (1) 1
Physics - Stacks (1) 1
Providence Healthcare - Reference (1) 1
Regis College - Storage (1) 1
Robarts - Government Pubs (1) 1
Robarts - Storage (1) 1
Robarts - Withdrawn (1) 1
St. Augustine's Seminary - Reference (1) 1
St. Augustine's Seminary - Writing & Research (1) 1
St. Michael's College (John M. Kelly) - Not Returned (1) 1
St. Michael's College (John M. Kelly) - Sable (1) 1
Trinity College (John W Graham) - Strachan (1) 1
University Archives - Archives (1) 1
University College (Laidlaw) - Library use only (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT at Mississauga - Reference Desk (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
UofT at Scarborough - Reference Desk (1) 1
Victoria University Emmanuel College - Birge Storage (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (14447) 14447
German (71) 71
Japanese (65) 65
French (56) 56
Korean (43) 43
Spanish (34) 34
Chinese (26) 26
Latin (20) 20
Portuguese (18) 18
Russian (8) 8
Italian (5) 5
Polish (5) 5
Swedish (4) 4
Sanskrit (3) 3
Afrikaans (2) 2
Arabic (2) 2
Croatian (2) 2
Hungarian (2) 2
Ancient Greek (1) 1
Czech (1) 1
Dutch (1) 1
Hebrew (1) 1
Indonesian (1) 1
Lithuanian (1) 1
Serbian (1) 1
Turkish (1) 1
Urdu (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
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
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
Book
1987, 2nd ed., ISBN 0444879439, Volume 81., x, 490
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
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
Studies in proof theory, 1987
Journal
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
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
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
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
Book
1969, The Johns Hopkins humanities seminars, ISBN 0801810159, 247
Book
2000, Applied logic series, ISBN 0792364732, Volume 21, x, 266
Book
No results were found for your search.

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