Title: From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Author: Jean van Heijenoort
Title: Logic, Author: Paul Tomassi
Title: Gottlob Frege: Foundations of Arithmetic: (Longman Library of Primary Sources in Philosophy), Author: Gottlob Frege
Title: Alfred North Whitehead: The Man and His Work, Author: Victor Lowe
Title: Alfred North Whitehead: The Man and His Work: 1910-1947, Author: Victor Lowe
Title: An Introduction to Probability and Inductive Logic, Author: Ian Hacking
Title: Wise Choices, Apt Feelings: A Theory of Normative Judgment, Author: Allan Gibbard
Title: Science and Mathematics: From Primitive to Modern Times, Author: Jayant V. Narlikar
Title: An Introduction to Substructural Logics, Author: Greg Restall
Title: Mathematical Knowledge and the Interplay of Practices, Author: José Ferreirós
Title: Computational Logic and Human Thinking: How to Be Artificially Intelligent, Author: Robert Kowalski
Title: Tragic Beauty in Whitehead and Japanese Aesthetics, Author: Steve Odin
Title: Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, Author: Daniela Petrisan
Title: Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing, Author: Noson S. Yanofsky
Title: Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, Author: Juliette Kennedy
Title: Symbolic Logic, Author: Odysseus Makridis
Explore Series
Title: Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers, Author: Marcello M. Bonsangue
Title: Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings, Author: Patrick Blackburn
Title: Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings, Author: Rahul Jain
Title: Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers, Author: Corina Cîrstea

Pagination Links