X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (11627) 11627
Book / eBook (3250) 3250
Conference Proceeding (1677) 1677
Book Chapter (1046) 1046
Web Resource (147) 147
Reference (94) 94
Dissertation (90) 90
Magazine Article (55) 55
Book Review (44) 44
Newspaper Article (15) 15
Government Document (12) 12
Paper (11) 11
Journal / eJournal (9) 9
Publication (5) 5
Trade Publication Article (4) 4
Report (2) 2
Newsletter (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (7961) 7961
science & technology (5320) 5320
mathematics (4340) 4340
mathematical logic and formal languages (4332) 4332
artificial intelligence (4002) 4002
mathematical models (3871) 3871
mathematical logic (3820) 3820
logic (3610) 3610
technology (3198) 3198
philosophy (2916) 2916
mathematical logic and foundations (2467) 2467
logic, symbolic and mathematical (2186) 2186
software engineering (2061) 2061
mathematical analysis (2011) 2011
logics and meanings of programs (1953) 1953
semantics (1952) 1952
algorithms (1887) 1887
physical sciences (1791) 1791
analysis (1739) 1739
congresses (1554) 1554
arts & humanities (1540) 1540
social sciences (1531) 1531
studies (1481) 1481
informatics (1471) 1471
algebra (1423) 1423
programming languages (1350) 1350
programming languages, compilers, interpreters (1284) 1284
logic design (1248) 1248
computers (1207) 1207
computer logic (1184) 1184
engineering (1062) 1062
theory of computation (1041) 1041
kongress (1026) 1026
computer science, artificial intelligence (1013) 1013
science & technology - other topics (979) 979
electronic brains (974) 974
epistemology (974) 974
research (973) 973
computer software (943) 943
computer simulation (938) 938
symbolic and algebraic manipulation (931) 931
ai (922) 922
informatique (921) 921
programming techniques (921) 921
intelligence, artificial (920) 920
machine intelligence (920) 920
artificial thinking (914) 914
intellectronics (914) 914
intelligent machines (914) 914
thinking, artificial (914) 914
algorithm analysis and problem complexity (893) 893
computational linguistics (891) 891
software (879) 879
computer programming (862) 862
linguistics (858) 858
computation by abstract devices (832) 832
computer science, software engineering (816) 816
language (807) 807
multi-user (800) 800
mathematical functions (774) 774
metaphysics (746) 746
reasoning (719) 719
software engineering/programming and operating systems (715) 715
design of logic systems (709) 709
design, logic (709) 709
life sciences & biomedicine (706) 706
physics (706) 706
history & philosophy of science (693) 693
philosophy of science (692) 692
data processing (690) 690
mathematics education (688) 688
computer science, theory & methods (685) 685
ontology (665) 665
logical theorems (662) 662
computer programs (652) 652
inteligencia artificial (636) 636
education (618) 618
computer software engineering (617) 617
information theory (601) 601
symbolic and mathematical logic (601) 601
mathematical set theory (593) 593
methods (583) 583
axioms (582) 582
mathematics, general (574) 574
philosophy of language (572) 572
computation (567) 567
usage (555) 555
information systems applications (552) 552
mathematical theorems (550) 550
humans (535) 535
psychology (523) 523
symbolic logic (522) 522
computer science, information systems (519) 519
algebra of logic (516) 516
logic, universal (516) 516
information storage and retrieval (497) 497
programming (488) 488
mathematical & computational biology (472) 472
database management (467) 467
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (257) 257
Online Resources - Online (166) 166
Engineering & Comp. Sci. - Stacks (158) 158
Robarts - Stacks (157) 157
Mathematical Sciences - Stacks (156) 156
Collection Dvlpm't (Acquisitions) - Vendor file (85) 85
UTL at Downsview - May be requested (73) 73
UofT at Mississauga - Stacks (64) 64
UofT at Scarborough - Stacks (41) 41
Collection Dvlpm't (Acquisitions) - Closed Orders (33) 33
Victoria University E.J. Pratt - Stacks (21) 21
Trinity College (John W Graham) - Stacks (13) 13
St. Michael's College (John M. Kelly) - 3rd Floor (11) 11
OISE - Stacks (10) 10
St. Michael's College (John M. Kelly) - 2nd Floor (9) 9
Engineering & Comp. Sci. - May be requested in 6-10 wks (8) 8
Thomas Fisher Rare Book - May be requested at Fisher (6) 6
Thomas Fisher Rare Book - Rare Book (6) 6
Mathematical Sciences - Missing (5) 5
Trinity College (John W Graham) - Storage (4) 4
Physics - Stacks (3) 3
UofT at Mississauga - May be requested in 6-10 wks (3) 3
Engineering & Comp. Sci. - Missing (2) 2
Engineering & Comp. Sci. - Periodical Stacks (2) 2
Faculty of Information - Stacks (2) 2
Pontifical Inst. Mediaeval Studies - Library use only (2) 2
Victoria University E.J. Pratt - Reference (2) 2
Engineering & Comp. Sci. - Not Returned (1) 1
Engineering & Comp. Sci. - Searching (1) 1
Gerstein Science - Circulation Desk (1) 1
Gerstein Science - Missing (1) 1
Knox College (Caven) - Stacks (1) 1
Law (Bora Laskin) - Stacks (1) 1
Mathematical Sciences - Circulation Desk (1) 1
Mathematical Sciences - Course Reserves (1) 1
Mathematical Sciences - Processing (1) 1
New College (Ivey) - Stacks (1) 1
OISE - Theses (1) 1
Regis College - Stacks (1) 1
Robarts - May be requested in 6-10 wks (1) 1
Robarts - Not Returned (1) 1
St. Augustine's Seminary - Stacks (1) 1
Victoria University E.J. Pratt - Withdrawn (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (18027) 18027
German (205) 205
Japanese (140) 140
Spanish (120) 120
Chinese (44) 44
French (31) 31
Portuguese (28) 28
Russian (12) 12
Italian (11) 11
Czech (10) 10
Polish (7) 7
Latvian (6) 6
Swedish (4) 4
Dutch (3) 3
Latin (3) 3
Norwegian (3) 3
Arabic (2) 2
Korean (2) 2
Afrikaans (1) 1
Danish (1) 1
Norwegian Bokmål (1) 1
Persian (1) 1
Romanian (1) 1
Sanskrit (1) 1
Slovak (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2000, ISBN 9780754613664, xvi, 260
An Invitation to Formal Reasoning introduces the discipline of formal logic by means of a powerful new system formulated by Fred Sommers... 
Language and logic | Logic, Symbolic and mathematical | Logic | Reasoning | Metaphysics
Book
Notre Dame journal of formal logic, ISSN 0029-4527, 1960
Journal
The Journal of symbolic logic, ISSN 0022-4812
Journal
2017, Sixth edition., ISBN 9781284077247, xiii, 449 pages
Book
2018, Trends in Logic, ISBN 9783319708201, Volume 49, 205
This text aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics... 
Logic | Analysis (Philosophy) | Philosophy | Mathematical Applications in Computer Science | Analytic Philosophy | Mathematics and Statistics | Logic Design | Mathematical Logic and Formal Languages | Proposition (Logic)
eBook
2019, 3rd ed. 2019, Texts in Computer Science, ISBN 3030048780, 509
This revised and expanded new edition includes supplementary web-based teaching resources and a new conceptual approach to parsing algorithms that applies to... 
Programming Languages, Compilers, Interpreters | Computer Science | Mathematical Logic and Formal Languages
eBook
2012, Encyclopedia of mathematics and its applications, ISBN 0521898331, Volume 138, xiv, 728
.... Separately the properties of graphs can be studied in a logical language called monadic second-order logic... 
Logic, Symbolic and mathematical | MATHEMATICS / Logic | Graphic methods
Book
2010, Progress in computer science and applied logic, ISBN 3764399767, Volume 25, xii, 261
This book presents the basic principles and formal calculus of mathematical logic... 
Logic, Symbolic and mathematical
Book
2010, ISBN 0521763169, Volume 9780521763165, xiv, 417
The problem of inducing, learning or inferring grammars has been studied for decades, but only in recent years has grammatical inference emerged as an... 
Logic, Symbolic and mathematical | Formal languages
Book
2013, ISBN 1107611962, xv, 285 pages
What do the rules of logic say about the meanings of the symbols they govern? In this book, James W... 
Language and logic
Book
No results were found for your search.

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