Title: From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Author: Jean van Heijenoort
Title: Logic, Author: Paul Tomassi
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: Alfred North Whitehead: The Man and His Work: 1910-1947, Author: Victor Lowe
Title: Alfred North Whitehead: The Man and His Work, Author: Victor Lowe
Title: Science and Mathematics: From Primitive to Modern Times, Author: Jayant V. Narlikar
Title: An Introduction to Substructural Logics, Author: Greg Restall
Title: Tractatus Logico-Philosophicus: German and English, Author: Ludwig Wittgenstein
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: Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, Author: Sergei Artemov
Title: Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures, Author: James Robert Brown
Title: Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings, Author: Jasmin Christian Blanchette
Title: Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, Author: Jules Desharnais
Title: Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, Author: Jouko Väänänen
Title: Nonsymmetric Operads in Combinatorics, Author: Samuele Giraudo
Title: A Model-Theoretic Approach to Proof Theory, Author: Henryk Kotlarski
Title: Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings, Author: Fabrice Kordon

Pagination Links