X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (14135) 14135
Book / eBook (6387) 6387
Book Chapter (3334) 3334
Conference Proceeding (2579) 2579
Publication (1974) 1974
Web Resource (1029) 1029
Paper (258) 258
Dissertation (236) 236
Reference (158) 158
Book Review (151) 151
Magazine Article (71) 71
Journal / eJournal (38) 38
Newspaper Article (15) 15
Report (14) 14
Newsletter (13) 13
Government Document (11) 11
Trade Publication Article (8) 8
Data Set (5) 5
Microfilm (5) 5
Video Recording (3) 3
Archival Material (2) 2
Computer File (1) 1
Kit (1) 1
Library Holding (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
logic (8632) 8632
computer science (7682) 7682
mathematics (7438) 7438
mathematical logic (6988) 6988
logic, symbolic and mathematical (5781) 5781
philosophy (5035) 5035
mathematical logic and formal languages (4934) 4934
artificial intelligence (4682) 4682
mathematical logic and foundations (4005) 4005
logics and meanings of programs (2941) 2941
logical theorems (2675) 2675
symbolic and mathematical logic (2531) 2531
algebra (2514) 2514
symbolic and algebraic manipulation (2425) 2425
analysis (2302) 2302
software engineering (2185) 2185
mathematical theorems (2033) 2033
semantics (1955) 1955
electronic books (1926) 1926
congresses (1523) 1523
algorithms (1516) 1516
computational linguistics (1466) 1466
symbolic logic (1452) 1452
algebra of logic (1414) 1414
logic, universal (1408) 1408
computer science, artificial intelligence (1405) 1405
programming languages, compilers, interpreters (1264) 1264
logic design (1196) 1196
computation by abstract devices (1120) 1120
mathematical functions (1111) 1111
computers (1109) 1109
mathematical models (1095) 1095
computer science, theory & methods (1045) 1045
model theory (1033) 1033
fuzzy logic (1009) 1009
axioms (988) 988
reasoning (986) 986
programming languages (930) 930
computer logic (928) 928
algorithm analysis and problem complexity (926) 926
mathematics - logic (910) 910
kongress (884) 884
theory of computation (872) 872
programming techniques (829) 829
epistemology (810) 810
logik (810) 810
mathematical analysis (799) 799
modal logic (797) 797
informatics (793) 793
mathematical set theory (769) 769
discrete mathematics in computer science (763) 763
logic in computer science (727) 727
multi-user (727) 727
logique symbolique et mathématique (725) 725
set theory (718) 718
mathematics, applied (695) 695
computer software (653) 653
philosophy of science (651) 651
computer science - logic in computer science (642) 642
metaphysics (639) 639
lógica simbólica y matemática (637) 637
electronic brains (636) 636
studies (633) 633
computer programming (629) 629
data processing (622) 622
informatique (620) 620
research (620) 620
arithmetic (599) 599
science (592) 592
machine intelligence (588) 588
intelligent machines (586) 586
ai (585) 585
intelligence, artificial (585) 585
intellectronics (581) 581
artificial thinking (580) 580
thinking, artificial (580) 580
argumentation (578) 578
logic programming (574) 574
lógica matemática (574) 574
mathematische logik (543) 543
language (530) 530
mathematics, general (529) 529
inteligencia artificial (524) 524
usage (515) 515
deduction (506) 506
information theory (498) 498
truth (495) 495
history & philosophy of science (484) 484
fuzzy sets (479) 479
dialectic (474) 474
computational complexity (465) 465
philosophy of language (464) 464
models (460) 460
engineering (459) 459
calculus (456) 456
proof theory (453) 453
philosophie (447) 447
inference (442) 442
equivalence relation (437) 437
deductive logic (434) 434
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (1219) 1219
Robarts - Stacks (1142) 1142
Online Resources - Online (1125) 1125
UTL at Downsview - May be requested (1054) 1054
Mathematical Sciences - Stacks (712) 712
UofT at Mississauga - Stacks (434) 434
St. Michael's College (John M. Kelly) - 3rd Floor (369) 369
Engineering & Comp. Sci. - Stacks (368) 368
UofT at Scarborough - Stacks (258) 258
Victoria University E.J. Pratt - Stacks (257) 257
Thomas Fisher Rare Book - Rare Book (250) 250
Collection Dvlpm't (Acquisitions) - Vendor file (235) 235
Thomas Fisher Rare Book - May be requested at Fisher (168) 168
Collection Dvlpm't (Acquisitions) - Closed Orders (157) 157
OISE - Stacks (137) 137
Trinity College (John W Graham) - Stacks (128) 128
St. Michael's College (John M. Kelly) - 2nd Floor (121) 121
Trinity College (John W Graham) - Storage (89) 89
Pontifical Inst. Mediaeval Studies - Library use only (82) 82
Institute for Christian Studies - Stacks (37) 37
UofT at Mississauga - May be requested in 6-10 wks (35) 35
Regis College - Stacks (34) 34
Knox College (Caven) - Stacks (23) 23
Mathematical Sciences - Missing (23) 23
Engineering & Comp. Sci. - May be requested in 6-10 wks (22) 22
St. Augustine's Seminary - Stacks (21) 21
OISE - Curriculum Resources (14) 14
OISE - May be requested in 6-10 wks (13) 13
UofT at Scarborough - Withdrawn (13) 13
East Asian (Cheng Yu Tung) - Stacks (12) 12
Law (Bora Laskin) - Stacks (12) 12
Victoria University E.J. Pratt - Storage (12) 12
Mathematical Sciences - Periodical Stacks (10) 10
Physics - Stacks (10) 10
UofT Schools - Stacks (9) 9
Gerstein Science - Circulation Desk (8) 8
Mathematical Sciences - May be requested in 6-10 wks (8) 8
Aerospace - Stacks (7) 7
Engineering & Comp. Sci. - Missing (7) 7
OISE - Missing (7) 7
Robarts - Storage (7) 7
Trinity College (John W Graham) - Wycliffe Storage (7) 7
Faculty of Information - Stacks (6) 6
Gerstein Science - Missing (6) 6
Engineering & Comp. Sci. - Periodical Stacks (5) 5
University College (Laidlaw) - Stacks (5) 5
Victoria University E.J. Pratt - Reference (5) 5
Gerstein Science - Theses (4) 4
Media Commons - Microtexts (4) 4
Regis College - Storage (4) 4
Robarts - May be requested in 6-10 wks (4) 4
Victoria University CRRS - Library use only (4) 4
Victoria University E.J. Pratt - Northrop Frye (4) 4
Architecture Landscape (Shore + Moffat) - Stacks (3) 3
Collection Dvlpm't (Acquisitions) - Cancelled Order (3) 3
OISE - Lost (3) 3
Robarts - Not Returned (3) 3
Robarts - Searching (3) 3
University Archives - Archives (3) 3
UofT at Mississauga - Missing (3) 3
Victoria University Emmanuel College - Storage (3) 3
Earth Sciences (Noranda) - Stacks (2) 2
Engineering & Comp. Sci. - Not Returned (2) 2
Engineering & Comp. Sci. - Reference (2) 2
Faculty of Information - Microfilm (2) 2
Gerstein Science - Periodical Stacks (2) 2
Knox College (Caven) - Storage (2) 2
Mathematical Sciences - Searching (2) 2
New College (Ivey) - Stacks (2) 2
OISE - Reference (2) 2
OISE - Storage (2) 2
OISE - Theses (2) 2
Pontifical Inst. Mediaeval Studies - Maritain (2) 2
Robarts - In process for Downsview (2) 2
Scarborough Hospital - General (2) 2
St. Michael's College (John M. Kelly) - Circulation Desk (2) 2
Thomas Fisher Rare Book - Stacks (2) 2
UofT at Scarborough - May be requested in 6-10 wks (2) 2
Victoria University Emmanuel College - Stacks (2) 2
Business (Joseph L Rotman) - May be requested in 6-10 wks (1) 1
Chemistry (A D Allen) - Stacks (1) 1
Criminology - Stacks (1) 1
Earth Sciences (Noranda) - Circulation Desk (1) 1
East Asian (Cheng Yu Tung) - Protected Material (1) 1
Engineering & Comp. Sci. - Searching (1) 1
Engineering & Comp. Sci. - Withdrawn (1) 1
Gerstein Science - Not Returned (1) 1
Gerstein Science - Reference (1) 1
Humber River Regional Hospital - Church Stacks (1) 1
Lakeridge Health Sciences - Oshawa (1) 1
Map & Data - Map Collection (1) 1
Mathematical Sciences - Circulation Desk (1) 1
Mathematical Sciences - Processing (1) 1
Mathematical Sciences - Reference (1) 1
Mathematical Sciences - Theses (1) 1
Mt Sinai Hospital - Stacks (1) 1
Music - Stacks (1) 1
OISE - Microfilm (1) 1
OISE - Modern Language (1) 1
OISE - Ontario Historical Ed (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (25310) 25310
German (700) 700
French (355) 355
Spanish (253) 253
Japanese (145) 145
Russian (141) 141
Italian (99) 99
Polish (76) 76
Latin (41) 41
Chinese (38) 38
Portuguese (31) 31
Dutch (28) 28
Czech (21) 21
Arabic (16) 16
Turkish (14) 14
Romanian (10) 10
Hungarian (5) 5
Danish (4) 4
Sanskrit (4) 4
Swedish (4) 4
Bulgarian (2) 2
Greek (2) 2
Norwegian (2) 2
Ancient Greek (1) 1
Azerbaijani (1) 1
Catalan (1) 1
Croatian (1) 1
Estonian (1) 1
Hindi (1) 1
Korean (1) 1
Lithuanian (1) 1
Maltese (1) 1
Nepali (1) 1
Slovenian (1) 1
Ukrainian (1) 1
Welsh (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2015, Bibliothèque des Philosophes / Towarzystwo Naukowe Warszawskie = Société des Sciences et des Lettres de Varsovie, ISBN 9788375071887, Volume 8., 2 v. (876 p.)
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
5th ed. --. --, xiii, 398
Book
Book
2002, 4th ed., ISBN 0130201421, xv, 447
Book
De Gruyter series in logic and its applications, ISSN 1438-1893, 1999
Journal
1989, 2nd ed. --, ISBN 9780881334128, viii, 353
Book
No results were found for your search.

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