X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (37627) 37627
Book Chapter (5219) 5219
Book / eBook (3048) 3048
Conference Proceeding (992) 992
Web Resource (248) 248
Reference (180) 180
Book Review (165) 165
Newspaper Article (161) 161
Dissertation (146) 146
Magazine Article (118) 118
Government Document (33) 33
Paper (23) 23
Publication (22) 22
Newsletter (20) 20
Report (19) 19
Journal / eJournal (7) 7
Trade Publication Article (6) 6
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
mathematical logic and foundations (13517) 13517
mathematical models (13002) 13002
mathematics (11923) 11923
computer science (8993) 8993
artificial intelligence (8918) 8918
analysis (7861) 7861
algorithms (7180) 7180
mathematical analysis (6865) 6865
logic (6142) 6142
computer science, artificial intelligence (5636) 5636
mathematical logic and formal languages (5124) 5124
algebra (5065) 5065
engineering (4930) 4930
philosophy (4654) 4654
studies (4120) 4120
mathematical logic (4082) 4082
computer science, interdisciplinary applications (4067) 4067
fuzzy logic (3766) 3766
computer simulation (3705) 3705
optimization (3528) 3528
computational intelligence (3273) 3273
control, robotics, mechatronics (3010) 3010
research (2981) 2981
mathematics, general (2575) 2575
physics (2460) 2460
methods (2459) 2459
geometry (2432) 2432
usage (2423) 2423
logic, symbolic and mathematical (2314) 2314
logics and meanings of programs (2310) 2310
theory of computation (2197) 2197
neural networks (1995) 1995
fuzzy (1959) 1959
engineering, electrical & electronic (1952) 1952
software engineering (1751) 1751
semantics (1722) 1722
computation by abstract devices (1706) 1706
mathematical & computational biology (1690) 1690
mathematical optimization (1672) 1672
computational linguistics (1656) 1656
humans (1648) 1648
mathematics, interdisciplinary applications (1644) 1644
fuzzy set theory (1598) 1598
quantum physics (1596) 1596
probability theory and stochastic processes (1593) 1593
design (1587) 1587
decision making (1529) 1529
philosophy of science (1492) 1492
article subject (1464) 1464
science (1411) 1411
fuzzy systems (1403) 1403
mathematics, applied (1394) 1394
economics (1356) 1356
algorithm analysis and problem complexity (1340) 1340
computer science, theory & methods (1330) 1330
computation (1318) 1318
physics, multidisciplinary (1304) 1304
programming languages, compilers, interpreters (1283) 1283
software (1235) 1235
management (1234) 1234
dynamics (1185) 1185
biology (1157) 1157
simulation (1150) 1150
symbolic and algebraic manipulation (1133) 1133
classification (1115) 1115
networks (1103) 1103
fuzzy sets (1095) 1095
engineering, multidisciplinary (1091) 1091
physics, mathematical (1081) 1081
systems (1039) 1039
uncertainty (1039) 1039
history & philosophy of science (1034) 1034
operations research & management science (1030) 1030
computer science, information systems (1022) 1022
epistemology (979) 979
logical theorems (972) 972
social sciences, mathematical methods (969) 969
algorithm (960) 960
mathematical functions (949) 949
research article (940) 940
database management (919) 919
mathematics education (915) 915
symbolic and mathematical logic (912) 912
mathematical theorems (905) 905
computer science, software engineering (898) 898
mathematical model (891) 891
axioms (890) 890
set theory (884) 884
control systems (880) 880
methodology of the social sciences (873) 873
reasoning (872) 872
convex and discrete geometry (864) 864
genetic algorithms (857) 857
multidisciplinary sciences (853) 853
computers (837) 837
machine learning (837) 837
construction (835) 835
education (819) 819
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Mathematical Sciences - Stacks (516) 516
Gerstein Science - Stacks (494) 494
Online Resources - Online (287) 287
Collection Dvlpm't (Acquisitions) - Vendor file (175) 175
Robarts - Stacks (170) 170
UofT at Mississauga - Stacks (168) 168
Engineering & Comp. Sci. - Stacks (163) 163
UTL at Downsview - May be requested (134) 134
Collection Dvlpm't (Acquisitions) - Closed Orders (114) 114
UofT at Scarborough - Stacks (85) 85
St. Michael's College (John M. Kelly) - 2nd Floor (50) 50
Victoria University E.J. Pratt - Stacks (32) 32
Trinity College (John W Graham) - Stacks (31) 31
St. Michael's College (John M. Kelly) - 3rd Floor (29) 29
Thomas Fisher Rare Book - Rare Book (28) 28
Thomas Fisher Rare Book - May be requested at Fisher (22) 22
Mathematical Sciences - Missing (18) 18
OISE - Stacks (15) 15
UofT at Mississauga - May be requested in 6-10 wks (11) 11
Mathematical Sciences - May be requested in 6-10 wks (8) 8
Engineering & Comp. Sci. - May be requested in 6-10 wks (7) 7
Physics - Stacks (5) 5
Pontifical Inst. Mediaeval Studies - Library use only (5) 5
Trinity College (John W Graham) - Storage (5) 5
Aerospace - Stacks (4) 4
Faculty of Information - Stacks (4) 4
Gerstein Science - Missing (4) 4
Engineering & Comp. Sci. - Missing (3) 3
Institute for Christian Studies - Stacks (3) 3
OISE - Theses (3) 3
Earth Sciences (Noranda) - Stacks (2) 2
Engineering & Comp. Sci. - Searching (2) 2
Gerstein Science - Circulation Desk (2) 2
Gerstein Science - Reference (2) 2
Gerstein Science - Searching (2) 2
Indust. Rel's & Hum. Resources (Newman) - Library use only (2) 2
Mathematical Sciences - Reference (2) 2
Mathematical Sciences - Searching (2) 2
Media Commons - Microtexts (2) 2
OISE - Curriculum Resources (2) 2
Trinity College (John W Graham) - Reference (2) 2
University College (Laidlaw) - Stacks (2) 2
UofT Schools - Stacks (2) 2
Baycrest Hospital - Stacks (1) 1
Collection Dvlpm't (Acquisitions) - Cancelled Order (1) 1
Earth Sciences (Noranda) - Circulation Desk (1) 1
Gerstein Science - Not Returned (1) 1
Knox College (Caven) - Stacks (1) 1
Law (Bora Laskin) - Stacks (1) 1
Map & Data - Map Collection (1) 1
Mathematical Sciences - Circulation Desk (1) 1
Mathematical Sciences - Course Reserves (1) 1
Mathematical Sciences - Periodical Stacks (1) 1
Music - Stacks (1) 1
Physics - Circulation Desk (1) 1
Physics - New Books (1) 1
Physics - Storage (1) 1
Regis College - Stacks (1) 1
Regis College - Storage (1) 1
Robarts - Microtexts (1) 1
Robarts - Searching (1) 1
St. Augustine's Seminary - Stacks (1) 1
Thomas Fisher Rare Book - Stacks (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
Victoria University E.J. Pratt - Northrop Frye (1) 1
Victoria University E.J. Pratt - Reference (1) 1
West Park Healthcare Centre - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (47813) 47813
German (289) 289
Spanish (156) 156
Chinese (125) 125
French (115) 115
Japanese (107) 107
Russian (59) 59
Polish (53) 53
Italian (40) 40
Portuguese (33) 33
Czech (28) 28
Slovak (10) 10
Norwegian (9) 9
Swedish (6) 6
Turkish (6) 6
Arabic (5) 5
Dutch (5) 5
Korean (2) 2
Latin (2) 2
Afrikaans (1) 1
Azerbaijani (1) 1
Croatian (1) 1
Danish (1) 1
Hungarian (1) 1
Latvian (1) 1
Norwegian Bokmål (1) 1
Sanskrit (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Studies in logic and the foundations of mathematics, ISSN 0049-237X, 1900
Journal
2008, ISBN 0521707579, xii, 329
Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed for use on undergraduate and graduate courses in non-classical logic... 
Fuzzy logic | Many-valued logic
Book
2009, ISBN 9780521899437, Volume 9780521899437, xx, 483
.... This overview of the field offers a computer science perspective, but also draws on ideas from game theory, economics, operations research, logic, philosophy and linguistics... 
Intelligent agents (Computer software) | Distributed processing | Electronic data processing
Book
2012, Carl G. Hempel lecture series., ISBN 0691147124, xii, 167
It seems reasonable to believe that there might have existed things other than those that in fact exist, or have existed. But how should we understand such... 
Modality (Logic) | Metaphysics | Possibility | HPJ | Language | HPL | Logic | Philosophy | CFA | PHILOSOPHY | Logic, Symbolic and mathematical | Semantics (Philosophy) | Semantics | Necessity (Philosophy)
Book
1994, Collected papers of Bertrand Russell, ISBN 0415094062, Volume 4, lii, 743
Book
2014, Princeton studies in complexity, ISBN 9780691158884, Volume 9781400848256, xvi, 249
Book
01/2019, Routledge Studies in Nineteenth-Century Philosophy, ISBN 0815396325, 6
eBook
2010, Perspectives in logic, ISBN 052151729X, xv, 479
This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the... 
Computational complexity | Constructive mathematics | Proof theory
Book
2010, ISBN 0199541493, xiv, 281
This book defends an anti-platonist philosophy of mathematics derived from game formalism. Classic formalists claimed implausibly that mathematical utterances... 
Logic, Symbolic and mathematical | Mathematics | Philosophy | Philosophy of Mathematics and Logic | Philosophy of Language | Idealization | Projectivism | Gödel | Platonism | Neo-Fregean | Non-classical logic | Formalism | Fiction | Sense
Book
2007, Cambridge introductions to philosophy, ISBN 9780521674539, xiv, 361
.... This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem... 
Gödel numbers | Logic, Symbolic and mathematical | Gödel, Kurt
Book
2004, ISBN 0965356418, vii, 38
Book
2006, ISBN 0691123004, xxii, 522
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics... 
Logic, Symbolic and mathematical | Semantics (Philosophy) | Mathematics
Book
Foundations of computing and decision sciences, ISSN 0867-6356, 1990
Journal
2005, Foundations and trends in theoretical computer science, ISBN 9781933019147, Volume 1, issue 2 (2005), Issue 2, vi, 126
Book
1987, 2nd, extended ed. --, Symbolic computation. Artificial intelligence., ISBN 9783540181996, xii, 212
Book
2003, 1st ed., Studies in logic and the foundations of mathematics, ISBN 9780444508263, Volume 148, 767
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines... 
Modality (Logic)
eBook
1974, ISBN 9780333169513, 290
Book
No results were found for your search.

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