1
Mathematical logic and computation [E-Book] /

Full text 
Favorites
Saved in:
2
Algorithms for Constructing Computably Enumerable Sets [E-Book] /

Full text 
Favorites
Saved in:
3
Logic, Language, Information, and Computation [E-Book] : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings /
Table of Contents: “...Learning Context-Free Grammars from Positive Data and Membership Queries -- The Web Still Needs Logic and Reasoning: A Short Introduction to SHACL for Logicians -- From Gödel's Incompleteness Theorem to the completeness of bot beliefs -- Quantitative...”

Full text 
Favorites
Saved in:
4
Fuzzy Logic [E-Book] : Recent Applications and Developments /
Table of Contents: “.... Fuzzy Logic, a Logicians Perspective -- Chapter 10. Applications of Fuzzy Logic in an Automated Warehouse -- Chapter 11. Can Fuzzy Systems Assist with Project Planning? -- Chapter 12. Fuzzy Logic in Autonomous Vehicles -- Chapter 13. AI Spawning Fuzzy Logic...”

Full text 
Favorites
Saved in:
5
Space, Time and the Limits of Human Understanding [E-Book] /

Full text 
Favorites
Saved in:
6
Henri Poincaré : a scientific biography [E-Book] /

Full text 
Favorites
Saved in:
7
Andrzej Mostowski and foundational studies / [E-Book]
Subject (ZB): “...Logicians Poland Biography....”

Full text 
Favorites
Saved in:
8
Philosophy of logic [E-Book] /

Full text 
Favorites
Saved in:
9
The rise of modern logic [E-Book] : from Leibniz to Frege /

Full text 
Favorites
Saved in:
10
Chemical discovery and the logicians' program : a problematic pairing /
Book
Loan/Reservation

Favorites
Saved in:
11
Memoirs of a proof theorist : Gödel and other logicians [E-Book] /

Full text 
Favorites
Saved in:
12
Many-dimensional modal logics [E-Book] : theory and applications /

Full text 
Favorites
Saved in:
13
Categorical logic and type theory [E-Book] /

Full text 
Favorites
Saved in:
14
Handbook of proof theory [E-Book] /

Full text 
Favorites
Saved in:
15
Handbook of logic and language [E-Book] /

Full text 
Favorites
Saved in:
16
The Foundations of Quantum Mechanics — Historical Analysis and Open Questions [E-Book] : Lecce, 1993 /

Full text 
Favorites
Saved in:
17
Old and New Questions in Physics, Cosmology, Philosophy, and Theoretical Biology [E-Book] : Essays in Honor of Wolfgang Yourgrau /

Full text 
Favorites
Saved in:
18
Sets: naive, axiomatic and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students.
Book
Loan/Reservation

Favorites
Saved in:

Narrow Search Results