X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (12283) 12283
Book / eBook (5554) 5554
Book Chapter (1331) 1331
Conference Proceeding (1325) 1325
Web Resource (1027) 1027
Dissertation (232) 232
Reference (158) 158
Book Review (140) 140
Magazine Article (83) 83
Journal / eJournal (50) 50
Newspaper Article (18) 18
Report (13) 13
Paper (12) 12
Government Document (11) 11
Publication (11) 11
Newsletter (6) 6
Microfilm (5) 5
Video Recording (3) 3
Archival Material (2) 2
Computer File (1) 1
Data Set (1) 1
Kit (1) 1
Library Holding (1) 1
Trade Publication Article (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
logic (8745) 8745
mathematics (7992) 7992
mathematical logic (7015) 7015
logic, symbolic and mathematical (6860) 6860
science & technology (6559) 6559
computer science (5949) 5949
philosophy (4490) 4490
science & technology - other topics (4237) 4237
physical sciences (4040) 4040
mathematical logic and foundations (3432) 3432
artificial intelligence (3058) 3058
mathematical logic and formal languages (2638) 2638
symbolic and mathematical logic (2563) 2563
logical theorems (2425) 2425
algebra (2416) 2416
analysis (2259) 2259
technology (2138) 2138
mathematical theorems (1938) 1938
arts & humanities (1831) 1831
semantics (1683) 1683
congresses (1628) 1628
symbolic logic (1467) 1467
algebra of logic (1432) 1432
logic, universal (1424) 1424
algorithms (1394) 1394
informatics (1208) 1208
mathematical functions (1202) 1202
computational linguistics (1174) 1174
logics and meanings of programs (1149) 1149
symbolic and algebraic manipulation (1135) 1135
computers (1122) 1122
logic design (1104) 1104
software engineering (1047) 1047
computer logic (1034) 1034
mathematical models (1034) 1034
model theory (992) 992
computer science, artificial intelligence (985) 985
mathematics - logic (984) 984
programming languages (972) 972
multi-user (970) 970
axioms (905) 905
set theory (878) 878
electronic brains (870) 870
informatique (845) 845
reasoning (833) 833
fuzzy logic (822) 822
kongress (819) 819
machine intelligence (818) 818
mathematical analysis (815) 815
ai (814) 814
intelligence, artificial (813) 813
intelligent machines (812) 812
mathematical set theory (809) 809
artificial thinking (808) 808
intellectronics (808) 808
thinking, artificial (808) 808
epistemology (780) 780
logic in computer science (775) 775
computer software (734) 734
computer science - logic in computer science (722) 722
engineering (722) 722
logique symbolique et mathématique (713) 713
modal logic (695) 695
computer programming (671) 671
programming languages, compilers, interpreters (660) 660
arithmetic (642) 642
data processing (641) 641
social sciences (621) 621
studies (621) 621
lógica simbólica y matemática (620) 620
research (619) 619
metaphysics (606) 606
logik (602) 602
science (599) 599
philosophy of science (598) 598
design of logic systems (590) 590
design, logic (590) 590
inteligencia artificial (576) 576
theory of computation (568) 568
information theory (557) 557
logic programming (557) 557
computer science, theory & methods (550) 550
usage (536) 536
mathematische logik (531) 531
history & philosophy of science (528) 528
algorithm analysis and problem complexity (509) 509
general (504) 504
mathematics, general (501) 501
computer software engineering (498) 498
computational complexity (497) 497
proof theory (487) 487
lógica matemática (484) 484
language and languages (482) 482
linguistics (480) 480
electronic data processing (470) 470
programming techniques (464) 464
computation by abstract devices (461) 461
philosophy of language (461) 461
fuzzy sets (458) 458
language (456) 456
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (1081) 1081
Gerstein Science - Stacks (931) 931
Robarts - Stacks (722) 722
Mathematical Sciences - Stacks (703) 703
UTL at Downsview - May be requested (686) 686
UofT at Mississauga - Stacks (336) 336
Collection Dvlpm't (Acquisitions) - Vendor file (265) 265
Engineering & Comp. Sci. - Stacks (233) 233
UofT at Scarborough - Stacks (212) 212
St. Michael's College (John M. Kelly) - 3rd Floor (200) 200
Victoria University E.J. Pratt - Stacks (173) 173
Thomas Fisher Rare Book - Rare Book (170) 170
Collection Dvlpm't (Acquisitions) - Closed Orders (133) 133
Thomas Fisher Rare Book - May be requested at Fisher (115) 115
Trinity College (John W Graham) - Stacks (102) 102
St. Michael's College (John M. Kelly) - 2nd Floor (84) 84
OISE - Stacks (78) 78
Trinity College (John W Graham) - Storage (45) 45
Pontifical Inst. Mediaeval Studies - Library use only (39) 39
Mathematical Sciences - Missing (26) 26
UofT at Mississauga - May be requested in 6-10 wks (25) 25
Regis College - Stacks (18) 18
Institute for Christian Studies - Stacks (17) 17
Engineering & Comp. Sci. - May be requested in 6-10 wks (15) 15
OISE - Curriculum Resources (14) 14
East Asian (Cheng Yu Tung) - Stacks (13) 13
Engineering & Comp. Sci. - Periodical Stacks (10) 10
Knox College (Caven) - Stacks (10) 10
Mathematical Sciences - Periodical Stacks (10) 10
OISE - May be requested in 6-10 wks (8) 8
UofT Schools - Stacks (8) 8
Physics - Stacks (7) 7
St. Augustine's Seminary - Stacks (7) 7
University College (Laidlaw) - Stacks (7) 7
Mathematical Sciences - May be requested in 6-10 wks (6) 6
Collection Dvlpm't (Acquisitions) - Cancelled Order (4) 4
Earth Sciences (Noranda) - Stacks (4) 4
Faculty of Information - Stacks (4) 4
Gerstein Science - Circulation Desk (4) 4
Gerstein Science - Missing (4) 4
Gerstein Science - Theses (4) 4
Law (Bora Laskin) - Stacks (4) 4
Media Commons - Microtexts (4) 4
Regis College - Storage (4) 4
Robarts - Storage (4) 4
University Archives - Archives (4) 4
UofT at Scarborough - Withdrawn (4) 4
Victoria University E.J. Pratt - Northrop Frye (4) 4
Victoria University E.J. Pratt - Storage (4) 4
Aerospace - Stacks (3) 3
Engineering & Comp. Sci. - Missing (3) 3
New College (Ivey) - Stacks (3) 3
OISE - Missing (3) 3
Robarts - May be requested in 6-10 wks (3) 3
Victoria University E.J. Pratt - Reference (3) 3
Faculty of Information - Microfilm (2) 2
Gerstein Science - Periodical Stacks (2) 2
Mathematical Sciences - Searching (2) 2
OISE - Lost (2) 2
OISE - Storage (2) 2
OISE - Theses (2) 2
Robarts - In process for Downsview (2) 2
Royal Ontario Museum - Stacks (2) 2
St. Michael's College (John M. Kelly) - Circulation Desk (2) 2
Thomas Fisher Rare Book - Stacks (2) 2
Trinity College (John W Graham) - Wycliffe Storage (2) 2
UofT at Mississauga - Missing (2) 2
Victoria University E.J. Pratt - Withdrawn (2) 2
Victoria University Emmanuel College - Stacks (2) 2
Architecture Landscape (Shore + Moffat) - Stacks (1) 1
Business (Joseph L Rotman) - May be requested in 6-10 wks (1) 1
Chemistry (A D Allen) - Stacks (1) 1
Earth Sciences (Noranda) - Circulation Desk (1) 1
East Asian (Cheng Yu Tung) - Protected Material (1) 1
Engineering & Comp. Sci. - Not Returned (1) 1
Engineering & Comp. Sci. - Searching (1) 1
Gerstein Science - Not Returned (1) 1
Gerstein Science - Reference (1) 1
Map & Data - Map Collection (1) 1
Massey College (Robertson Davies) - Rare Book (1) 1
Mathematical Sciences - Course Reserves (1) 1
Mathematical Sciences - Processing (1) 1
Mathematical Sciences - Reference (1) 1
Mathematical Sciences - Theses (1) 1
Music - Stacks (1) 1
OISE - Microfilm (1) 1
OISE - Modern Language (1) 1
OISE - Ontario Historical Ed (1) 1
OISE - Reference (1) 1
Physics - New Books (1) 1
Regis College - Theses (1) 1
Robarts - Closed Orders (1) 1
Robarts - Library use only (1) 1
Robarts - Not Returned (1) 1
Robarts - Reference (1) 1
Robarts - Woodhouse Collection 13th floor (1) 1
St. Michael's College (John M. Kelly) - Not Returned (1) 1
St. Michael's College (John M. Kelly) - Theses (1) 1
St. Michael's College (John M. Kelly) - Watson (1) 1
Thomas Fisher Rare Book - May be requested in 6-10 wks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (21671) 21671
German (710) 710
French (312) 312
Spanish (212) 212
Japanese (154) 154
Russian (137) 137
Italian (79) 79
Polish (70) 70
Chinese (47) 47
Latin (31) 31
Portuguese (28) 28
Czech (21) 21
Dutch (21) 21
Arabic (14) 14
Turkish (14) 14
Romanian (10) 10
Slovak (5) 5
Bulgarian (2) 2
Hungarian (2) 2
Korean (2) 2
Norwegian (2) 2
Slovenian (2) 2
Swedish (2) 2
Afrikaans (1) 1
Azerbaijani (1) 1
Catalan (1) 1
Danish (1) 1
Estonian (1) 1
Greek (1) 1
Hebrew (1) 1
Sanskrit (1) 1
Serbian (1) 1
Ukrainian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


The bulletin of symbolic logic, ISSN 1079-8986, 1995
Journal
The Journal of symbolic logic, ISSN 0022-4812
Journal
The Journal of symbolic logic, ISSN 0022-4812, 1936
Includes section "Reviews." Includes lists of members. Vol. 1, no. 4 (Dec. 1936) consists of a bibliography of symbolic logic for the period 1666-1935, by Alonzo Church... 
Logic, Symbolic and mathematical | Periodicals
Journal
Journal of symbolic computation, ISSN 0747-7171, 1985
Journal
Annals of pure and applied logic, ISSN 0168-0072, 1983
Journal
Journal of mathematical logic, ISSN 0219-0613, 2001
Journal
Journal
Notre Dame journal of formal logic, ISSN 0029-4527, 1960
Journal
Archive for mathematical logic, ISSN 0933-5846, 1988
Journal
Algebra and logic, ISSN 0002-5232, 1968
Journal
2010, ISBN 9780387097411, xiii, 225
Mathematical reasoning is a key aspect of curriculum reforms internationally. This book illustrates five South African teachers' attempts to teach mathematical reasoning in their Grade 10 and 11 classroom... 
Logic, Symbolic and mathematical | Study and teaching (Secondary) | Mathematics | Mathematik | Lernen | Logik | Lehren | Sekundarbereich | Symbolik | Curriculum planning | Curriculum Studies | Mathematics Education | Learning & Instruction | Teaching and Teacher Education | Education, general | Education
Book
Mathematical logic quarterly, ISSN 0942-5616, 1993
Journal
Journal of logic and computation, ISSN 0955-792X, 1990
Journal
2009, 1. Aufl., ISBN 0387746404, xxx, 605
I have never encountered a book of this kind. The best description of it I can give is that it is a mystery novel… I found it hard to stop reading before I... 
Ramsey theory
Book
2017, ISBN 0190200014, xii, 531 pages
The term “fuzzy logic” (FL) is a generic one, which stands for a broad variety of logical systems. Their common ground is the rejection of the most fundamental... 
Fuzzy logic | Logic, Symbolic and mathematical | Philosophy of Mathematics and Logic | Philosophy | Paradigm | Mathematics based on fuzzy logic | Fuzzy set theory | Many-valued logic | History | Bivalence principle
Book
2016, Fourth edition., ISBN 149872292X, xv, 301 pages
Book
Journal
2011, ISBN 9780521765794, xi, 373
.... Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory... 
Logic, Symbolic and mathematical
Book
No results were found for your search.

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