Logic, Symbolic and mathematical
Label
Logic, Symbolic and mathematical
Name
Logic, Symbolic and mathematical
Actions
Incoming Resources
- Journey to the edge of reason, the life of Kurt Gödel, Stephen Budiansky
- Word and object, Willard Van Orman Quine ; foreword by Patricia Smith Churchland ; preface to the new edition by Dagfinn Føllesdal
- Reports on mathematical logic
- Quantum Computation and Logic, How Quantum Computers Have Inspired Logical Investigations, by Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli
- Prototractatus, an early version of Tractatus logico-philosophicus, edited by B. F. McGuinness, T. Nyberg, G. H. von Wright; with a translation [from the German] by D. F. Pears, B. F. McGuinness, an historical introduction by G. H. von Wright and a facsimile of the author's manuscript
- Reasoning about uncertainty, Joseph Y. Halpern
- Fuzzy Lie Algebras, by Muhammad Akram
- A Cp-Theory Problem Book, Special Features of Function Spaces, by Vladimir V. Tkachuk
- Logisch-philosophische abhandlung, die hundertjahrsausgabe : der Tractatus in Baumform, Ludwig Wittgenstein
- Alfred Tarski, Early Work in Poland--Geometry and Teaching, edited by Andrew McFarland, Joanna McFarland, James T. Smith
- Logic for artificial intelligence & information technology, Dov M. Gabbay
- Finite automata, formal logic, and circuit complexity, Howard Straubing
- Janus-Faced Probability, by Paolo Rocchi
- The enchantment of words, Wittgenstein's Tractatus logico-philosophicus, Denis McManus
- Logic for mathematicians, A.G. Hamilton
- Contradictions, from Consistency to Inconsistency, edited by Walter Carnielli, Jacek Malinowski
- Introduction to fuzzy logic, James K. Peckol
- An introduction to the logic of the sciences
- Logics of Variable Inclusion, by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
- Change, choice and inference, a study of belief revision and nonmonotonic reasoning, Hans Rott
- Hilary Putnam on Logic and Mathematics, edited by Geoffrey Hellman, Roy T. Cook
- The Frege reader, edited by Michael Beaney
- Philosophical investigations, by Ludwig Wittgenstein
- Set Theory, With an Introduction to Real Point Sets, by Abhijit Dasgupta
- Tracking reason, proof, consequence, and truth, Jody Azzouni
- Recent Progress in General Topology III, edited by K.P. Hart, J. van Mill, P. Simon
- Fuzzy logic and mathematics, a historical perspective, Radim Belohlavek, Joseph W. Dauben, and George J. Klir
- After Gödel, Platonism and rationalism in mathematics and logic, by Richard Tieszen
- Truth through proof, a formalist foundation for mathematics, Alan Weir
- How to read and do proofs, an introduction to mathematical thought processes, Daniel Solow
- Studies in logic and probability, George Boole
- Paradoxes in probability theory, William Eckhardt
- Recent Trends in Philosophical Logic, edited by Roberto Ciuni, Heinrich Wansing, Caroline Willkommen
- Introduction to logic and to the methodology of deductive sciences, Alfred Tarski
- Past, present and future, by Arthur Prior
- The Big Typescript, TS. 213, Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian A.E. Aue
- How to prove it, a structured approach, Daniel J. Velleman
- Elements of causal inference, foundations and learning algorithms, Jonas Peters, Dominik Janzing, and Bernhard Schölkopf
- Foundations without foundationalism, a case for second-order logic, Stewart Shapiro
- Essays in the philosophy and history of logic and mathematics, Roman Murawski ; foreword [by] Jan Woleński
- Feferman on Foundations, Logic, Mathematics, Philosophy, edited by Gerhard Jäger, Wilfried Sieg
- Rechtstheorie als Sprachkritik, zum Einfluss Wittgensteins auf die Rechtstheorie, Manfred Herbert
- Logic, probability and science, edited by Niall Shanks, Robert B. Gardner
- Foundations of logic and mathematics, applications to computer science and cryptography, Yves Nievergelt
- Leśniewski's Systems of Logic and Foundations of Mathematics, by Rafal Urbaniak
- Collected works, Kurt Gödel ; edited by Solomon Feferman ... [and others]
- Frege and other philosophers, Michael Dummett
- Heyting Algebras, Duality Theory, by Leo Esakia ; edited by Guram Bezhanishvili, Wesley H. Holliday
- Advances in Natural Deduction, A Celebration of Dag Prawitz's Work, edited by Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva
- Cardinal Invariants on Boolean Algebras, Second Revised Edition, by J. Donald Monk