Logic, Symbolic and mathematical
Authority Link
http://id.loc.gov/authorities/subjects/sh85078115
Label
Logic, Symbolic and mathematical
Name
Logic, Symbolic and mathematical
Actions
Incoming Resources
- Subject of50
- Philosophy of mathematics and deductive structure in Euclid's Elements, Ian Mueller
- Logic for computer science:, foundations of automatic theorem proving, Jean H. Gallier
- Tractatus logico-philosophicus
- Set theory and logic
- Word and object, Willard Van Orman Quine
- An investigation of the laws of thought:, on which are founded the mathematical theories of logic and probabilities
- Abstract sets and finite ordinals:, an introduction to the study of set theory, G.B. Keene
- Los gráficos existenciales peirceanos, sistemas de lógicas diagramáticas del continuo : horosis, tránsitos, reflejos, fondos, Fernando Zalamea Traba
- Mathematical logic quarterly, MLQ
- Bridge to abstract mathematics, Ralph W. Oberste-Vorth, Indiana State University, Aristides Mouzakitis, Second Junior High School of Corfu, Bonita A. Lawrence, Marshall University
- Neutrosophic sets and systems
- The equations, icons of knowledge, Sander Bais
- Is God a mathematician?, Mario Livio
- Tractatus logico-philosophicus
- El triángulo lógico. Una ecuación didáctica emergente para aprender metodología de la investigación
- The evolution of Principia mathematica, Bertrand Russell's manuscripts and notes for the second edition, Bernard Linsky
- Philosophy of mathematics in the twentieth century, selected essays, Charles Parsons
- First course in mathematical logic, [by] Patrick Suppes and Shirley Hill
- Logic journal of the IGPL, Interest Group in Pure and Applied Logics
- Introduction to symbolic logic and its applications
- Meaning and necessity:, a study in semantics and modal logic
- A beginner's guide to mathematical logic
- Archive for mathematical logic
- Tractatus logico-philosophicus
- Popular lectures on mathematical logic, Hao Wang
- Symbolic logic and the game of logic
- Proof in geometry
- On formally undecidable propositions of Principia mathematica and related systems, Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
- The logic of machines and structures, Paul Sandori
- Tractatus logico-philosophicus
- Tractatus Logico Philosophicus
- Tractatus logico-philosophicus, Ludwig Wittgenstein ; translated by D.F. Pears and B.F. McGuinness ; with an introduction by Bertrand Russell
- What Is Mathematical Logic?
- Axioms
- Bulletin of the Section of Logic
- The foundations of mathematics, Ian Stewart and David Tall
- Journey to the edge of reason, the life of Kurt Gödel, Stephen Budiansky
- Beginning MATLAB and Simulink, From Novice to Professional
- Algebra and logic
- Computability and logic
- Paradox and paraconsistency, conflict resolution in the abstract sciences, John Woods
- Studies in logic and probability, George Boole
- Journal of the IGPL
- Euclid in the rainforest, discovering universal truth in logic and math, Joseph Mazur
- Uncertain inference, Henry E. Kyburg, Jr. and Choh Man Teng
- An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
- Tractatus Logico-Philosophicus (Barnes & Noble Library of Essential Reading, Ludwig Wittgenstein)
- The laws of thought, George Boole ; introduction by John Corcoran
- Minds and machines
- [Logic, mathematical and philosophical aspects, Graham Priest]