Toggle navigation
Rensselaer Libraries
Services
Navigate
Linked Data
Dashboard
Tools / Extras
Stats
Share
Social
Mail
Twitter
Facebook
Google+
LinkedIn
Citation
Raw Data
Library.Link Network
Logic, Symbolic and mathematical
The Resource
Logic, Symbolic and mathematical
Label
Logic, Symbolic and mathematical
Focus
Logic, Symbolic and mathematical
100+
Items that share the Concept
Logic, Symbolic and mathematical
A decision method for elementary algebra and geometry,, by Alfred Tarski; prepared for publication with the assistance of J. C. C. McKinsey
Borrow it
Toggle Dropdown
Folsom Library
A deduction model of belief, Kurt Konolige
Borrow it
Toggle Dropdown
Folsom Library
A first course in mathematical logic and set theory, Michael L. O'Leary
Borrow it
Toggle Dropdown
Folsom Library
A first course in modern logic, (by) Edith Watson Schipper and Edward Schuh
Borrow it
Toggle Dropdown
Folsom Library
A friendly introduction to mathematical logic, Christopher C. Leary
Borrow it
Toggle Dropdown
Folsom Library
A precis of mathematical logic;, translated from the French and German editions by Otto Bird
Borrow it
Toggle Dropdown
Folsom Library
A primer of formal logic,, by John C. Cooley
Borrow it
Toggle Dropdown
Folsom Library
A profile of mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
A structuralist theory of logic, Arnold Koslow
Borrow it
Toggle Dropdown
Folsom Library
A survey of symbolic logic
Borrow it
Toggle Dropdown
Folsom Library
A system of logistic,, by Willard Van Orman Quine..
Borrow it
Toggle Dropdown
Folsom Library
A theory of heuristic information in game-tree search, Chun-Hung Tzeng
Borrow it
Toggle Dropdown
Folsom Library
A theory of heuristic information in game-tree search, Chun-Hung Tzeng
Borrow it
Toggle Dropdown
Folsom Library
A theory of sets,, by Anthony P. Morse
Borrow it
Toggle Dropdown
Folsom Library
A tour through mathematical logic, Robert S. Wolf, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Abriss der Logistik : mit besonderer Berucksichtigung der Relationstheorie und ihrer Anwendungen,, von Dr. Rudolf Carnap. Mit 10 Textabbildungen
Borrow it
Toggle Dropdown
Folsom Library
Admissibility of logical inference rules, Vladimir V. Rybakov
Borrow it
Toggle Dropdown
Folsom Library
Advanced logic for applications, Richard E. Grandy
Borrow it
Toggle Dropdown
Folsom Library
Advances in data base theory, edited by Herve Gallaire, Jack Minker and Jean Marie Nicolas
Borrow it
Toggle Dropdown
Folsom Library
Advances in spatial reasoning, edited by Su-shing Chen
Borrow it
Toggle Dropdown
Folsom Library
Advances in spatial reasoning, edited by Su-shing Chen
Borrow it
Toggle Dropdown
Folsom Library
Alan Turing : his work and impact, edited by S. Barry Cooper and J. van Leeuwen, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Alan Turing : his work and impact, edited by S. Barry Cooper, J. van Leeuwen, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Algebraic logic
Borrow it
Toggle Dropdown
Folsom Library
Algebraic methods of mathematical logic., Translated by Michael Basch
Borrow it
Toggle Dropdown
Folsom Library
Algebraic systems, (by) A. I. Malcev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy
Borrow it
Toggle Dropdown
Folsom Library
Algorithmic logic, G. Mirkowska and A. Salwicki
Borrow it
Toggle Dropdown
Folsom Library
An essay in modal logic
Borrow it
Toggle Dropdown
Folsom Library
An examination of logical positivism
Borrow it
Toggle Dropdown
Folsom Library
An introduction to Gödel's Theorems, Peter Smith
Borrow it
Toggle Dropdown
Folsom Library
An introduction to Gödel's Theorems, Peter Smith
Borrow it
Toggle Dropdown
Folsom Library
An introduction to Wittgenstein's Tractatus, G.E.M. Anscombe
Borrow it
Toggle Dropdown
Folsom Library
An introduction to mathematical logic and type theory : to truth through proof, Peter B. Andrews
Borrow it
Toggle Dropdown
Folsom Library
An introduction to mathematical logic and type theory : to truth through proof, Peter B. Andrews
Borrow it
Toggle Dropdown
Folsom Library
An introduction to mathematical logic, (by) Gerson B. Robison
Borrow it
Toggle Dropdown
Folsom Library
An introduction to mathematical thought
Borrow it
Toggle Dropdown
Folsom Library
An introduction to modern logic; : an elementary textbook of symbolic logic
Borrow it
Toggle Dropdown
Folsom Library
An introduction to modern mathematics;, translated (from the French) by Peter Fantham
Borrow it
Toggle Dropdown
Folsom Library
An introduction to non-classical logic : from if to is, Graham Priest, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
An introduction to practical formal methods using temporal logic, Michael Fisher, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
An introduction to practical formal methods using temporal logic, Michael Fisher, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
An introduction to practical formal methods using temporal logic, Michael Fisher, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
An introduction to substructural logics, Greg Restall
Borrow it
Toggle Dropdown
Folsom Library
An introduction to substructural logics, Greg Restall
Borrow it
Toggle Dropdown
Folsom Library
An introduction to symbolic logic
Borrow it
Toggle Dropdown
Folsom Library
An introduction to symbolic logic,, by Susanne K. Langer
Borrow it
Toggle Dropdown
Folsom Library
An introduction to transformational grammars
Borrow it
Toggle Dropdown
Folsom Library
An investigation of the laws of thought
Borrow it
Toggle Dropdown
Folsom Library
An outline of set theory, James M. Henle
Borrow it
Toggle Dropdown
Folsom Library
An outline of set theory, James M. Henle
Borrow it
Toggle Dropdown
Folsom Library
Andrzej Mostowski and foundational studies, edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny
Borrow it
Toggle Dropdown
Folsom Library
Andrzej Mostowski and foundational studies, edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Axiomatic analysis; : an introduction to logic and the real number system,, under the general editorship of David Vernon Widder
Borrow it
Toggle Dropdown
Folsom Library
Basic concepts of mathematics and logic, (by) Michael C. Gemignani
Borrow it
Toggle Dropdown
Folsom Library
Between logic and intuition : essays in honor of Charles Parsons, edited by Gila Sher, Richard Tieszen
Borrow it
Toggle Dropdown
Folsom Library
Beyond first order model theory, Jose Iovino
Borrow it
Toggle Dropdown
Folsom Library
Beyond sets : a venture in collection-theoretic revisionism, Nicholas Reschler and Patrick Grim, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings, E. Borger, H. Kleine Buning, M.M. Richter (eds.)
Borrow it
Toggle Dropdown
Folsom Library
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings, E. Borger, H. Kleine Buning, M.M. Richter (eds.)
Borrow it
Toggle Dropdown
Folsom Library
Causal Nets, Interventionism, and Mechanisms : Philosophical Foundations and Applications
Borrow it
Toggle Dropdown
Folsom Library
Classical mathematical logic : the semantic foundations of logic, Richard L. Epstein ; with contributions by Leslaw W. Szczerva, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Classical mathematical logic : the semantic foundations of logic, Richard L. Epstein ; with contributions by Lesław W. Szczerba
Borrow it
Toggle Dropdown
Folsom Library
Coding the universe, A. Beller, R. Jensen, P. Welch
Borrow it
Toggle Dropdown
Folsom Library
Collected works, Kurt Godel ; editors, Solomon Feferman ... (et al.)
Borrow it
Toggle Dropdown
Folsom Library
Collected works, Kurt Godel ; editors, Solomon Feferman ... (et al.)
Borrow it
Toggle Dropdown
Folsom Library
Combinatory logic, (by) Haskell B. Curry (and) Robert Feys. With two sections by William Craig
Borrow it
Toggle Dropdown
Folsom Library
Communication: : a logical model
Borrow it
Toggle Dropdown
Folsom Library
Complete theories
Borrow it
Toggle Dropdown
Folsom Library
Computability : computable functions, logic, and the foundations of mathematics, Richard L. Epstein, Walter A. Carnielli
Borrow it
Toggle Dropdown
Folsom Library
Computability and logic
Borrow it
Toggle Dropdown
Folsom Library
Computability and logic
Borrow it
Toggle Dropdown
Folsom Library
Computability and logic, Daniel E. Cohen
Borrow it
Toggle Dropdown
Folsom Library
Computability and logic, Daniel E. Cohen
Borrow it
Toggle Dropdown
Folsom Library
Computability and logic, George S. Boolos, Richard C. Jeffrey
Borrow it
Toggle Dropdown
Folsom Library
Computability and logic, George S. Boolos, Richard C. Jeffrey
Borrow it
Toggle Dropdown
Folsom Library
Computability, complexity, logic, E. Borger
Borrow it
Toggle Dropdown
Folsom Library
Computational Complexity of Solving Equation Systems
Borrow it
Toggle Dropdown
Folsom Library
Computational aspects of an order-sorted logic with term declarations, M. Schmidt-Schauss
Borrow it
Toggle Dropdown
Folsom Library
Computational aspects of an order-sorted logic with term declarations, M. Schmidt-Schauss
Borrow it
Toggle Dropdown
Folsom Library
Computing and logic, mathematics and language, Glenn Satty, Thomas J. Blakeley, James G. Colbert
Borrow it
Toggle Dropdown
Folsom Library
Concepts of proof in mathematics, philosophy, and computer science, edited by Dieter Probst and Peter Schuster
Borrow it
Toggle Dropdown
Folsom Library
Conditional and preferential logics : proof methods and theorem proving, Gian Luca Pozzato
Borrow it
Toggle Dropdown
Folsom Library
Course of mathematical logic, (by) Roland Fraisse
Borrow it
Toggle Dropdown
Folsom Library
Critical approaches to science & philosophy, Mario Bunge, editor, with a new introduction
Borrow it
Toggle Dropdown
Folsom Library
Deducibility and decidability, R.R. Rockingham Gill, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Degrees of unsolvability., (By) Joseph R. Shoenfield
Borrow it
Toggle Dropdown
Folsom Library
Deux esquisses de logique
Borrow it
Toggle Dropdown
Folsom Library
Development of mathematical logic,, by R. L. Goodstein
Borrow it
Toggle Dropdown
Folsom Library
Diamond : a paradox logic, N.S. Hellerstein, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Dictionary of symbols of mathematical logic., Edited by Robert Feys and Frederic B. Fitch
Borrow it
Toggle Dropdown
Folsom Library
Discovering patterns in mathematics and poetry, Marcia Birken and Anne C. Coon
Borrow it
Toggle Dropdown
Folsom Library
Discovering patterns in mathematics and poetry, Marcia Birken and Anne C. Coon, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Discrete mathematics and its applications, Kenneth H. Rosen
Borrow it
Toggle Dropdown
Folsom Library
Discrete mathematics and its applications, Kenneth H. Rosen
Borrow it
Toggle Dropdown
Folsom Library
Distilling ideas : an introduction to mathematical thinking, Brian P. Katz, Michael Starbird, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Ecrits logiques., Avec une preface de Jean Van Heijenoort ... une notice biographique par Claude Chevalley et Albert Lautmann, et une note sur la pensee de Herbrand par Claude Chevalley ..
Borrow it
Toggle Dropdown
Folsom Library
Effective logic computation, Klaus Truemper
Borrow it
Toggle Dropdown
Folsom Library
Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik
Borrow it
Toggle Dropdown
Folsom Library
Einfuhrung in die operative Logik und Mathematik
Borrow it
Toggle Dropdown
Folsom Library
Einfuhrung in die symbolische Logik, mit besonderer Berucksichtigung ihrer Anwendungen
Borrow it
Toggle Dropdown
Folsom Library
Elementary logic
Borrow it
Toggle Dropdown
Folsom Library
Elementary logic, (by) Benson Mates
Borrow it
Toggle Dropdown
Folsom Library
Elementary logic, Willard Van Orman Quine
Borrow it
Toggle Dropdown
Folsom Library
Elements of logic and foundations of mathematics in problems, Wiktor Marek and Janusz Onyszkiewicz
Borrow it
Toggle Dropdown
Folsom Library
Elements of mathematical logic and set theory,, by J. Slupecki and L. Borkowski. Translated by O. Wojtasiewicz
Borrow it
Toggle Dropdown
Folsom Library
Elements of mathematical logic, (by) P. S. Novikov. Translated by Leo F. Boron. With a preface and notes by R. L. Goodstein
Borrow it
Toggle Dropdown
Folsom Library
Elements of mathematical logic. : (Model theory), (By) G. Kreisel and J. L. Krivine
Borrow it
Toggle Dropdown
Folsom Library
Elements of mathematical logic., Translated by Olgierd Wojtasiewicz
Borrow it
Toggle Dropdown
Folsom Library
Elements of scientific inquiry, Eric Martin and Daniel Osherson
Borrow it
Toggle Dropdown
Folsom Library
Elements of set theory, (by) Peter W. Zehna (and) Robert L. Johnson
Borrow it
Toggle Dropdown
Folsom Library
Elements of symbolic logic
Borrow it
Toggle Dropdown
Folsom Library
Elements of the theory of computation, Harry R. Lewis, Christos H. Papadimitriou
Borrow it
Toggle Dropdown
Folsom Library
Entailment : the logic of relevance and necessity, by Alan Ross Anderson, Nuel D. Belnap, Jr., with contributions by J. Michael Dunn ... (et al.)
Borrow it
Toggle Dropdown
Folsom Library
Epistemic logic for AI and computer science, J.-J. Ch. Meyer, W. van der Hoek
Borrow it
Toggle Dropdown
Folsom Library
Essais sur les logiques non chrysippiennes
Borrow it
Toggle Dropdown
Folsom Library
Essays in memory of Imre Lakatos, edited by R. S. Cohen, P. K. Feyerabend and M. W. Wartofsky
Borrow it
Toggle Dropdown
Folsom Library
Essays in memory of Imre Lakatos, edited by R. S. Cohen, P. K. Feyerabend and M. W. Wartofsky
Borrow it
Toggle Dropdown
Folsom Library
Essays in the philosophy and history of logic and mathematics, Roman Murawski ; foreword, Jan Woleński, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Essays on Frege's conception of truth, edited by Dirk Greimann, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Essays on Wittgenstein's Tractatus, edited by Irving M. Copi and Robert W. Beard
Borrow it
Toggle Dropdown
Folsom Library
Essentials of symbolic logic, R.L. Simpson, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Finite dimensional vector spaces, by Paul R. Halmos
Borrow it
Toggle Dropdown
Folsom Library
First course in mathematical logic, (by) Patrick Suppes and Shirley Hill
Borrow it
Toggle Dropdown
Folsom Library
First order mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
First-order logic and automated theorem proving, Melvin Fitting
Borrow it
Toggle Dropdown
Folsom Library
First-order logic and automated theorem proving, Melvin Fitting
Borrow it
Toggle Dropdown
Folsom Library
First-order logic, (by) Raymond M. Smullyan
Borrow it
Toggle Dropdown
Folsom Library
Folk algebras in algebra : logic and computer science, Marcelo Fabián Frias, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Formal concept analysis : mathematical foundations, Bernhard Ganter, Rudolf Wille ; [translated from the German by Cornelia Franzke]
Borrow it
Toggle Dropdown
Folsom Library
Formal logic., Translated from the German by Frederick J. Crosson
Borrow it
Toggle Dropdown
Folsom Library
Formal methods in artificial intelligence, Allan Ramsay
Borrow it
Toggle Dropdown
Folsom Library
Formal methods; : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Borrow it
Toggle Dropdown
Folsom Library
Formalism and beyond : on the nature of mathematical discourse, edited by Godehard Link
Borrow it
Toggle Dropdown
Folsom Library
Formalization of logic,, by Rudolf Carnap..
Borrow it
Toggle Dropdown
Folsom Library
Foundations of mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
Foundations of mathematics, (by) William S. Hatcher
Borrow it
Toggle Dropdown
Folsom Library
Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Godel., Edited by Jack J. Bulloff, Thomas C. Holyoke (and) S. W. Hahn
Borrow it
Toggle Dropdown
Folsom Library
Foundations of the logical theory of scientific knowledge (complex logic)., (By) A. A. Zinovev. (Translated from the Russian by T. J. Blakeley). Appendix by G. A. Smirnov, A. E. Sidorenko, A. M. Fedina and L. A. Pobrova
Borrow it
Toggle Dropdown
Folsom Library
Foundations without foundationalism : a case for second-order logic, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Frege and Godel; : two fundamental texts in mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
Frege and other philosophers, Michael Dummett, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Frege's logic, Danielle Macbeth, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
From Frege to Godel; : a source book in mathematical logic, 1879-1931
Borrow it
Toggle Dropdown
Folsom Library
From an ivory tower, : a discussion of philosophical problems originating in modern mathematics
Borrow it
Toggle Dropdown
Folsom Library
From mathematics to philosophy,, (by) Hao Wang
Borrow it
Toggle Dropdown
Folsom Library
Fundamentals of symbolic logic, (by) Alice Ambrose and Morris Lazerowitz
Borrow it
Toggle Dropdown
Folsom Library
Fuzzy logic technology and applications, Robert J. Marks II, editor ; preface by Lotfi A. Zadeh ; IEEE Technical Acitivities Board
Borrow it
Toggle Dropdown
Folsom Library
Games, logic, and constructive sets, edited by Grigori Mints, Reinhard Muskens
Borrow it
Toggle Dropdown
Folsom Library
Games, logic, and constructive sets, edited by Grigori Mints, Reinhard Muskens
Borrow it
Toggle Dropdown
Folsom Library
Grundzuge der theoretischen Logik, (von) D. Hilbert und W. Ackermann
Borrow it
Toggle Dropdown
Folsom Library
Grundzuge der theoretischen Logik, von D. Hilbert und W. Ackermann
Borrow it
Toggle Dropdown
Folsom Library
Gödel's incompleteness theorems, Raymond M. Smullyan, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Handbook of logic in artificial intelligence and logic programming, edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume coordinator, D. Nute
Borrow it
Toggle Dropdown
Folsom Library
Handbook of logic in artificial intelligence and logic programming, edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume coordinator, D. Nute
Borrow it
Toggle Dropdown
Folsom Library
Handbook of logic in artificial intelligence and logic programming, edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume coordinator, D. Nute
Borrow it
Toggle Dropdown
Folsom Library
Handbook of mathematical induction : theory and applications, David S. Gunderson
Borrow it
Toggle Dropdown
Folsom Library
Handbook of mathematical logic, edited by Jon Barwise, with the cooperation of H. J. Keisler ... (et al)
Borrow it
Toggle Dropdown
Folsom Library
Implicazione, endometria, universo del discorso, testo bilingue di Franco Spisani
Borrow it
Toggle Dropdown
Folsom Library
In the light of logic, Solomon Feferman, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Inconsistent mathematics, by Chris Mortensen
Borrow it
Toggle Dropdown
Folsom Library
Inductive probability
Borrow it
Toggle Dropdown
Folsom Library
Infinity and the mind : the science and philosophy of the infinite, Rudy Rucker
Borrow it
Toggle Dropdown
Folsom Library
Infinity and the mind : the science and philosophy of the infinite, Rudy Rucker
Borrow it
Toggle Dropdown
Folsom Library
Infinity and the mind : the science and philosophy of the infinite, Rudy Rucker ; with a new preface by the author, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Informal logic, (by) John W. Kenelly
Borrow it
Toggle Dropdown
Folsom Library
Inheritance theory : an artificial intelligence approach, Raad Al-Asady
Borrow it
Toggle Dropdown
Folsom Library
Inheritance theory : an artificial intelligence approach, Raad Al-Asady
Borrow it
Toggle Dropdown
Folsom Library
Initiation a la logique
Borrow it
Toggle Dropdown
Folsom Library
Institution-independent model theory, Răzvan Diaconescu, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Intermediate logic, David Bostock, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Introduction a la logique mathematique, P. S. Novikov. Traduit par Ch. Sarthou
Borrow it
Toggle Dropdown
Folsom Library
Introduction to elementary mathematical logic, (by) Abram Aronovich Stolyar. Translation edited by Elliott Mendelson. (Translated by Scripta Technica, Inc.)
Borrow it
Toggle Dropdown
Folsom Library
Introduction to elementary mathematical logic, Abram Aronovich Stolyar
Borrow it
Toggle Dropdown
Folsom Library
Introduction to mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
Introduction to mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
Introduction to mathematical logic, Elliott Mendelson
Borrow it
Toggle Dropdown
Folsom Library
Introduction to mathematical logic, Elliott Mendelson
Borrow it
Toggle Dropdown
Folsom Library
Introduction to mathematical logic, Volume 1, by Alonzo Church
Borrow it
Toggle Dropdown
Folsom Library
Introduction to mathematical logic., Translated from German by Diana Schmidt
Borrow it
Toggle Dropdown
Folsom Library
Introduction to model theory and to the metamathematics of algebra
Borrow it
Toggle Dropdown
Folsom Library
Introduction to model theory and to the metamathematics of algebra
Borrow it
Toggle Dropdown
Folsom Library
Introduction to semantics, and Formalization of logic
Borrow it
Toggle Dropdown
Folsom Library
Introduction to symbolic logic and its applications., Translated by William H. Meyer and John Wilkinson
Borrow it
Toggle Dropdown
Folsom Library
Introduction to symbolic logic,, by A. H. Basson and D. J. O'Connor
Borrow it
Toggle Dropdown
Folsom Library
Introduction to the basic concepts and problems of modern logic, (by) G. Hasenjaeger. (Translated from the German by E. C. M. Mays)
Borrow it
Toggle Dropdown
Folsom Library
Introduction to the foundations of mathematics
Borrow it
Toggle Dropdown
Folsom Library
Introduction to the foundations of mathematics, (by) Raymond L. Wilder
Borrow it
Toggle Dropdown
Folsom Library
Introductory real analysis,, by M. E. Munroe
Borrow it
Toggle Dropdown
Folsom Library
Intuitionism vs. classicism : a mathematical attack on classical logic, Nick Haverkamp
Borrow it
Toggle Dropdown
Folsom Library
Intuitionism; : an introduction
Borrow it
Toggle Dropdown
Folsom Library
J. Michael Dunn on Information Based Logics
Borrow it
Toggle Dropdown
Folsom Library
Language in action : categories, lambdas and dynamic logic, Johan van Benthem
Borrow it
Toggle Dropdown
Folsom Library
Languages with expressions of infinite length
Borrow it
Toggle Dropdown
Folsom Library
Laws of form, G. Spencer Brown
Borrow it
Toggle Dropdown
Folsom Library
Learning language in logic, James Cussens, Sašo Džeroski, (eds.)
Borrow it
Toggle Dropdown
Folsom Library
Lecons de logique algebrique
Borrow it
Toggle Dropdown
Folsom Library
Lecture notes on mathematical logic. : Fall 1959. Based on student notes by Allen Weingarten
Borrow it
Toggle Dropdown
Folsom Library
Lectures on non-standard analysis., (By) Moshe Machover (and) Joram Hirschfeld
Borrow it
Toggle Dropdown
Folsom Library
Lectures on the logic of computer programming, Zohar Manna, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Les structures de commutation a m valeurs et les calculatrices numeriques
Borrow it
Toggle Dropdown
Folsom Library
Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published | together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his 'logical sister,' and eight versions of the Barber-shop paradox, edited, with annotations and an introd., by William Warren Bartley, III
Borrow it
Toggle Dropdown
Folsom Library
Logic : mathematics, language, computer science, and philosophy, by H.C.M. de Swart
Borrow it
Toggle Dropdown
Folsom Library
Logic : mathematics, language, computer science, and philosophy, by H.C.M. de Swart
Borrow it
Toggle Dropdown
Folsom Library
Logic and algorithms, : with applications to the computer and information sciences, (by) Robert R. Korfhage
Borrow it
Toggle Dropdown
Folsom Library
Logic and automata : history and perspectives
Borrow it
Toggle Dropdown
Folsom Library
Logic and automata : history and perspectives, edited by Jörg Flum, Erich Grädel, and Thomas Wilke, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Logic and complexity, Richard Lassaigne and Michel de Rougemont
Borrow it
Toggle Dropdown
Folsom Library
Logic and knowledge; essays, 1901-1950., Edited by Robert Charles Marsh
Borrow it
Toggle Dropdown
Folsom Library
Logic and structure, Dirk van Dalen
Borrow it
Toggle Dropdown
Folsom Library
Logic and structure, Dirk van Dalen
Borrow it
Toggle Dropdown
Folsom Library
Logic and the foundations of game and decision theory (LOFT 7), edited by Giacomo Bonanno, Wiebe Van Der Hoek, and Michael Wooldridge, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Logic and visual information, Eric M. Hammer
Borrow it
Toggle Dropdown
Folsom Library
Logic and visual information, Eric M. Hammer
Borrow it
Toggle Dropdown
Folsom Library
Logic for computer science : foundations of automatic theorem proving, Jean H. Gallier
Borrow it
Toggle Dropdown
Folsom Library
Logic for computer science, Steve Reeves, Michael Clarke
Borrow it
Toggle Dropdown
Folsom Library
Logic for computer scientists, Uwe Schoning
Borrow it
Toggle Dropdown
Folsom Library
Logic for mathematicians
Borrow it
Toggle Dropdown
Folsom Library
Logic for problem solving, Robert Kowalski
Borrow it
Toggle Dropdown
Folsom Library
Logic in elementary mathematics,, (by) Robert M. Exner (and) Myron F. Rosskopf
Borrow it
Toggle Dropdown
Folsom Library
Logic of mathematics : a modern course of classical logic, Zofia Adamowicz, Paweł Zbierski
Borrow it
Toggle Dropdown
Folsom Library
Logic with trees : an introduction to symbolic logic, Colin Howson, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Logic without borders, edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces
Borrow it
Toggle Dropdown
Folsom Library
Logic, automata, and algorithms, (by) Mark A. Aiserman (and others) Translated by Scripta Technica. Translation editor: George M. Kranc
Borrow it
Toggle Dropdown
Folsom Library
Logic, computers, and sets
Borrow it
Toggle Dropdown
Folsom Library
Logic, semantics, metamathematics; : papers from 1923 to 1938., Translated by J. H. Woodger
Borrow it
Toggle Dropdown
Folsom Library
Logic-based artificial intelligence, edited by Jack Minker
Borrow it
Toggle Dropdown
Folsom Library
Logic-based decision support : mixed integer model formulation, Robert G. Jeroslow
Borrow it
Toggle Dropdown
Folsom Library
Logic-based methods for optimization : combining optimization and constraint satisfaction, John Hooker
Borrow it
Toggle Dropdown
Folsom Library
Logic; : techniques of formal reasoning, (by) Donald Kalish (and) Richard Montague
Borrow it
Toggle Dropdown
Folsom Library
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Borrow it
Toggle Dropdown
Folsom Library
Logical forms : an introduction to philosophical logic, Mark Sainsbury
Borrow it
Toggle Dropdown
Folsom Library
Logical forms : an introduction to philosophical logic, Mark Sainsbury
Borrow it
Toggle Dropdown
Folsom Library
Logical foundations of mathematics for behavioral scientists, (by) Abraham S. Luchins (and) Edith H. Luchins
Borrow it
Toggle Dropdown
Folsom Library
Logical frameworks for truth and abstraction : an axiomatic study, Andrea Cantini
Borrow it
Toggle Dropdown
Folsom Library
Logical methods : in honor of Anil Nerode's sixtieth birthday, John N. Crossley ... (et al.), editors
Borrow it
Toggle Dropdown
Folsom Library
Logical papers;, a selection translated and edited with an introduction by G.H.R. Parkinson
Borrow it
Toggle Dropdown
Folsom Library
Logically determined design : clockless system design with NULL convention logic, Karl M. Fant
Borrow it
Toggle Dropdown
Folsom Library
Logically determined design : clockless system design with NULL convention logic, Karl M. Fant, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Logics for artificial intelligence, Raymond Turner
Borrow it
Toggle Dropdown
Folsom Library
Logics of time and computation, Robert Goldblatt
Borrow it
Toggle Dropdown
Folsom Library
Logics of time and computation, Robert Goldblatt
Borrow it
Toggle Dropdown
Folsom Library
Logics without existence assumptions
Borrow it
Toggle Dropdown
Folsom Library
Logique mathematique appliquee
Borrow it
Toggle Dropdown
Folsom Library
Logiques construites par une methode de deduction naturelle
Borrow it
Toggle Dropdown
Folsom Library
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Borrow it
Toggle Dropdown
Folsom Library
Mathematical epistemology and psychology, (by) Evert W. Beth and Jean Piaget. Translated from the French by W. Mays
Borrow it
Toggle Dropdown
Folsom Library
Mathematical fallacies and paradoxes, Bryan H. Bunch
Borrow it
Toggle Dropdown
Folsom Library
Mathematical foundations of programming, Frank S. Beckman
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic : an introduction to model theory, A. H. Lightstone ; edited by H. B. Enderton
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic : foundations for information science, Wei Li
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic : foundations for information science, Wei Li
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa, edited by Luiz Paulo de Alcantara
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic and formalized theories; : a survey of basic concepts and results
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic and formalized theories; : a survey of basic concepts and results
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic and the foundations of mathematics; : an introductory survey
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic and theoretical computer science, edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic in the 20th century, [edited by] Gerald E. Sacks, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic, (by) Joseph R. Shoenfield
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic, George Tourlakis, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic, H.-D. Ebbinghaus, J. Flum, W. Thomas
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic, Ian Chiswell and Wilfrid Hodges, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic, by Willard Van Orman Quine
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic, by Willard Van Orman Quine, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Mathematical reasoning : analogies, metaphors, and images, edited by Lyn D. English
Borrow it
Toggle Dropdown
Folsom Library
Mathematical reasoning : analogies, metaphors, and images, edited by Lyn D. English
Borrow it
Toggle Dropdown
Folsom Library
Mathematical recreations of Lewis Carroll (pseud.)
Borrow it
Toggle Dropdown
Folsom Library
Mathematico-deductive theory of rote learning; : a study in scientific methodology,, by Clark L. Hull (and others)
Borrow it
Toggle Dropdown
Folsom Library
Mathematics and plausible reasoning., By G. Polya
Borrow it
Toggle Dropdown
Folsom Library
Mathematische Gesetze der Logik
Borrow it
Toggle Dropdown
Folsom Library
Meaning and necessity; : a study in semantics and modal logic
Borrow it
Toggle Dropdown
Folsom Library
Meta-logics and logic programming, edited by Krzysztof R. Apt and Franco Turini
Borrow it
Toggle Dropdown
Folsom Library
Modal logics., Edited with some complements by Joseph Dopp
Borrow it
Toggle Dropdown
Folsom Library
Modelle der Mengenlehre. : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms., Ausgearb. von Franz Josef Leven
Borrow it
Toggle Dropdown
Folsom Library
Moderate realism and its logic, D.W. Mertz
Borrow it
Toggle Dropdown
Folsom Library
Natural deduction, : the logical basis of axiom systems, (by) John M. Anderson and Henry W. Johnstone, Jr
Borrow it
Toggle Dropdown
Folsom Library
Natural deduction; : a proof-theoretical study
Borrow it
Toggle Dropdown
Folsom Library
Non-standard analysis
Borrow it
Toggle Dropdown
Folsom Library
Non-standard analysis, Abraham Robinson
Borrow it
Toggle Dropdown
Folsom Library
Non-standard logics for automated reasoning, edited by Philippe Smets ... (et al.)
Borrow it
Toggle Dropdown
Folsom Library
Nonstandard logics and nonstandard metrics in physics, William M. Honig
Borrow it
Toggle Dropdown
Folsom Library
Notes on logic and set theory, P.T. Johnstone
Borrow it
Toggle Dropdown
Folsom Library
Notes on logic and set theory, P.T. Johnstone
Borrow it
Toggle Dropdown
Folsom Library
Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics
Borrow it
Toggle Dropdown
Folsom Library
On group-theoretic decision problems and their classification, by Charles F. Miller, III
Borrow it
Toggle Dropdown
Folsom Library
On group-theoretic decision problems and their classification,, by Charles F. Miller, III
Borrow it
Toggle Dropdown
Folsom Library
On the metamathematics of algebra
Borrow it
Toggle Dropdown
Folsom Library
On the syllogism, : and other logical writings., Edited, with an introd., by Peter Heath
Borrow it
Toggle Dropdown
Folsom Library
Ontology and the logistic analysis of language. : An enquiry into the contemporary views on universals., (Translated by E. C. M. Mays, and revised by the author)
Borrow it
Toggle Dropdown
Folsom Library
PX, a computational logic, Susumu Hayashi, Hiroshi Nakano
Borrow it
Toggle Dropdown
Folsom Library
Papers in philosophical logic, David Lewis
Borrow it
Toggle Dropdown
Folsom Library
Papers in philosophical logic, David Lewis
Borrow it
Toggle Dropdown
Folsom Library
Paradox and paraconsistency : conflict resolution in the abstract sciences, John Woods, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Past, present and future,, by Arthur Prior
Borrow it
Toggle Dropdown
Folsom Library
Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic, Aristides Baltas
Borrow it
Toggle Dropdown
Folsom Library
Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic, Aristides Baltas
Borrow it
Toggle Dropdown
Folsom Library
Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic, Aristides Baltas
Borrow it
Toggle Dropdown
Folsom Library
Perspectives in computational complexity : the Somenath Biswas anniversary volume, Manindra Agrawal, Vikraman Arvind, editors ; Eric Allender [and thirteen others], contributors
Borrow it
Toggle Dropdown
Folsom Library
Perspectives in logic : logical foundations of proof complexity, Stephen Cook, Phuong Nguyen, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Philosophical grammar : part I, The proposition, and its sense, part II, On logic and mathematics, Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny
Borrow it
Toggle Dropdown
Folsom Library
Philosophical remarks, Ludwig Wittgenstein ; edited from posthumous writings by Rush Rhees ; and translated into English by Raymond Hargreaves and Roger White
Borrow it
Toggle Dropdown
Folsom Library
Philosophische Bemerkungen. : Aus dem Nachlass, hrsg. von Rush Rhees
Borrow it
Toggle Dropdown
Folsom Library
Philosophische Grammatik., Hrsg. von Rush Rhees
Borrow it
Toggle Dropdown
Folsom Library
Philosophy of mathematics and deductive structure in Euclid's Elements, Ian Mueller
Borrow it
Toggle Dropdown
Folsom Library
Philosophy of mathematics in the twentieth century : selected essays, Charles Parsons
Borrow it
Toggle Dropdown
Folsom Library
Polish logic, 1920-1939, papers by Ajdukiewicz (and others); with an introduction by Tadeusz Kotarbinski, edited by Storrs McCall, translated by B. Gruchman (and others)
Borrow it
Toggle Dropdown
Folsom Library
Principia mathematica,, by Alfred North Whitehead and Bertrand Russell
Borrow it
Toggle Dropdown
Folsom Library
Principles of intuitionism., (By) A. S. Troelstra
Borrow it
Toggle Dropdown
Folsom Library
Principles of logic and logic programming, G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos
Borrow it
Toggle Dropdown
Folsom Library
Principles of mathematical logic,, by D. Hilbert and W. Ackermann; translated from the German by Lewis M. Hammond, George G. Leckie (and) F. Steinhardt. Edited and with notes by Robert E. Luce
Borrow it
Toggle Dropdown
Folsom Library
Principles of truth, Volker Halbach, Leon Horsten
Borrow it
Toggle Dropdown
Folsom Library
Probability Logics : Probability-Based Formalization of Uncertain Reasoning
Borrow it
Toggle Dropdown
Folsom Library
Probability and the logic of rational belief
Borrow it
Toggle Dropdown
Folsom Library
Proceedings., Edited by Leon Henkin and (others)
Borrow it
Toggle Dropdown
Folsom Library
Proof and knowledge in mathematics, edited by Michael Detlefsen, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Proof in geometry, (by) A. I. Fetisov. Translated and adapted from the first Russian edition (1954) by Theodore M. Switz and Luise Lange
Borrow it
Toggle Dropdown
Folsom Library
Proof, logic, and formalization, edited by Michael Detlefsen, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Ptolemy's Tetrabiblos in the Translation of William of Moerbeke : Claudii Ptolemaei Liber Iudicialium., edited by Gudrun Vuillemin-Diem and Carlos Steel with the assistance of Pieter De Leemans
Borrow it
Toggle Dropdown
Folsom Library
Publications 1929-1936, Kurt Gödel ; edited by Solomon Feferman ... [et al.], (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Pulling up the ladder : the metaphysical roots of Wittgenstein's Tractatus logico-philosophicus, Richard R. Brockhaus
Borrow it
Toggle Dropdown
Folsom Library
Pulling up the ladder : the metaphysical roots of Wittgenstein's Tractatus logico-philosophicus, Richard R. Brockhaus
Borrow it
Toggle Dropdown
Folsom Library
Qualitative spatial and temporal reasoning, Gérard Ligozat, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Quantification : transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic, by Aleksy Mołczanow, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Quantification theory,, by J. A. Faris
Borrow it
Toggle Dropdown
Folsom Library
Quantitative analysis methods for substantive analysts, Henry F. DeFrancesco
Borrow it
Toggle Dropdown
Folsom Library
Quantum probability--quantum logic, Itamar Pitowsky
Borrow it
Toggle Dropdown
Folsom Library
Quantum probability--quantum logic, Itamar Pitowsky
Borrow it
Toggle Dropdown
Folsom Library
Realizability : an introduction to its categorical side, Jaap van Oosten
Borrow it
Toggle Dropdown
Folsom Library
Reasoning about uncertainty, Joseph Y. Halpern
Borrow it
Toggle Dropdown
Folsom Library
Reasoning about uncertainty, Joseph Y. Halpern, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Recherches sur la deduction logique : (Untersuchungen uber das Logische Schliessen), Traduction et commentaire par Robert Feys et Jean Landriere
Borrow it
Toggle Dropdown
Folsom Library
Recursion theory for metamathematics, Raymond M. Smullyan, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Recursive function theory and logic
Borrow it
Toggle Dropdown
Folsom Library
Reduktionstheorie des Entscheidungsproblems im Pradikatenkalkul der ersten Stufe
Borrow it
Toggle Dropdown
Folsom Library
Representing and reasoning with probabilistic knowledge : a logical approach to probabilities, Fahiem Bacchus
Borrow it
Toggle Dropdown
Folsom Library
Selected logic papers, W.V. Quine
Borrow it
Toggle Dropdown
Folsom Library
Selected logic papers, W.V. Quine
Borrow it
Toggle Dropdown
Folsom Library
Selected logic papers,, by W. V. Quine
Borrow it
Toggle Dropdown
Folsom Library
Selected topics in algebra and its interrelations with logic, number theory, and algebraic geometry, Ionel Bucur ; translated from the Romanian by Mihnea Moroianu
Borrow it
Toggle Dropdown
Folsom Library
Selected works in logic., Ed. by Jens Erik Fenstad
Borrow it
Toggle Dropdown
Folsom Library
Selected works., Ed. by L. Borkowski. (Translated from the Polish by O. Wojtasiewicz)
Borrow it
Toggle Dropdown
Folsom Library
Semantic construction of intuitionistic logic,, by E. W. Beth
Borrow it
Toggle Dropdown
Folsom Library
Semantic entailment and formal derivability
Borrow it
Toggle Dropdown
Folsom Library
Set theory and its logic
Borrow it
Toggle Dropdown
Folsom Library
Set theory and its logic, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Set theory and logic
Borrow it
Toggle Dropdown
Folsom Library
Set theory and logic, by Robert R. Stoll
Borrow it
Toggle Dropdown
Folsom Library
Set theory and logic,, by Abraham A. Fraenkel
Borrow it
Toggle Dropdown
Folsom Library
Set theory, George Tourlakis, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Sets and logic, (by) Samuel C. Hanna (and) John C. Saber
Borrow it
Toggle Dropdown
Folsom Library
Sets, logic & numbers, (by) Clayton W. Dodge
Borrow it
Toggle Dropdown
Folsom Library
Sets, logic, and axiomatic theories., Drawings by Evan Gillespie
Borrow it
Toggle Dropdown
Folsom Library
Shattered symmetry : group theory from the eightfold way to the periodic table, Pieter Thyssen and Arnout Ceulemans
Borrow it
Toggle Dropdown
Folsom Library
Simply logical : intelligent reasoning by example, Peter Flach
Borrow it
Toggle Dropdown
Folsom Library
Simply logical : intelligent reasoning by example, Peter Flach
Borrow it
Toggle Dropdown
Folsom Library
Simply logical : intelligent reasoning by example, Peter Flach
Borrow it
Toggle Dropdown
Folsom Library
Solvable cases of the decision problem
Borrow it
Toggle Dropdown
Folsom Library
Solving higher-order equations : from logic to programming, Christian Prehofer
Borrow it
Toggle Dropdown
Folsom Library
Solving higher-order equations : from logic to programming, Christian Prehofer
Borrow it
Toggle Dropdown
Folsom Library
Something to reckon with : the logic of terms, George Englebretsen ; with a foreword by Fred Sommers, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Statistical methods and scientific inference
Borrow it
Toggle Dropdown
Folsom Library
Statistical methods and scientific inference
Borrow it
Toggle Dropdown
Folsom Library
Studies in logic, by members of the Johns Hopkins University (1883) ; edited by Charles S. Peirce ; with an introduction by Max H. Fisch and a preface by Achim Eschbach
Borrow it
Toggle Dropdown
Folsom Library
Studies in logic, by members of the Johns Hopkins University (1883) ; edited by Charles S. Peirce ; with an introduction by Max H. Fisch and a preface by Achim Eschbach, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Symbolic and knowledge-based signal processing, editors, Alan V. Oppenheim and S. Hamid Nawab
Borrow it
Toggle Dropdown
Folsom Library
Symbolic logic
Borrow it
Toggle Dropdown
Folsom Library
Symbolic logic : syntax, semantics, and proof, David W. Agler, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Symbolic logic and The game of logic, by Lewis Carroll
Borrow it
Toggle Dropdown
Folsom Library
Symbolic logic and mechanical theorem proving, (by) Chin-liang Chang (and) Richard Char-Tung Lee
Borrow it
Toggle Dropdown
Folsom Library
Symbolic logic, (by) Irving M. Copi
Borrow it
Toggle Dropdown
Folsom Library
Symbolic logic, : an introduction
Borrow it
Toggle Dropdown
Folsom Library
Symbolic logic, James A. Thomas
Borrow it
Toggle Dropdown
Folsom Library
Symbolic logic,, by Clarence Irving Lewis and Cooper Harold Langford
Borrow it
Toggle Dropdown
Folsom Library
Symbolic logic; : an introductory textbook for non-mathematicians
Borrow it
Toggle Dropdown
Folsom Library
Symbolism and truth; : an introduction to the theory of knowledge
Borrow it
Toggle Dropdown
Folsom Library
Systems of formal logic, (by) L. H. Hackstaff
Borrow it
Toggle Dropdown
Folsom Library
Systems of logic, Norman M. Martin
Borrow it
Toggle Dropdown
Folsom Library
Systems of logic, Norman M. Martin
Borrow it
Toggle Dropdown
Folsom Library
Techniques of deductive inference
Borrow it
Toggle Dropdown
Folsom Library
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings, B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Borrow it
Toggle Dropdown
Folsom Library
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings, B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Borrow it
Toggle Dropdown
Folsom Library
Temporal logic of programs, Fred Kroger
Borrow it
Toggle Dropdown
Folsom Library
Term logic with choice operator
Borrow it
Toggle Dropdown
Folsom Library
The Calculi of symbolic logic, 1., Edited by V. P. Orevkov. (Translated from the Russian by A. Yablonsky)
Borrow it
Toggle Dropdown
Folsom Library
The Logical enterprise, Alan Ross Anderson, Ruth Barcan Marcus, and R. M. Martin, editors ; contributors, Alan Ross Anderson ... (et al.)
Borrow it
Toggle Dropdown
Folsom Library
The Unknown as an Engine for Science : An Essay on the Definite and the Indefinite
Borrow it
Toggle Dropdown
Folsom Library
The anatomy of mathematics,, by R. B. Kershner (and) L. R. Wilcox
Borrow it
Toggle Dropdown
Folsom Library
The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind and philosophical truth, Richard M. McDonough
Borrow it
Toggle Dropdown
Folsom Library
The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind and philosophical truth, Richard M. McDonough
Borrow it
Toggle Dropdown
Folsom Library
The axiomatic method in biology,, by J. H. Woodger ... With appendices by Alfred Tarski and W. F. Floyd
Borrow it
Toggle Dropdown
Folsom Library
The axiomatic method; : an introduction to mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
The basic laws of arithmetic; : exposition of the system., Translated and edited, with an introd., by Montgomery Furth
Borrow it
Toggle Dropdown
Folsom Library
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives, Calixto Badesa ; translated by Michael Maudsley ; revised by the author
Borrow it
Toggle Dropdown
Folsom Library
The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives, Calixto Badesa ; translated by Michael Maudsley ; revised by the author, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
The calculi of Lambda-conversion, Alonzo Church
Borrow it
Toggle Dropdown
Folsom Library
The collected papers of Gerhard Gentzen., Edited by M. E. Szabo
Borrow it
Toggle Dropdown
Folsom Library
The collected works of J. Richard Buchi, Saunders Mac Lane, Dirk Siefkes, editors
Borrow it
Toggle Dropdown
Folsom Library
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory,, by Kurt Godel
Borrow it
Toggle Dropdown
Folsom Library
The continuum of inductive methods
Borrow it
Toggle Dropdown
Folsom Library
The determinacy of long games, Itay Neeman, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
The development of symbolic logic; : a critical-historical study of the logical calculus,, by A. T. Shearman, M. A
Borrow it
Toggle Dropdown
Folsom Library
The elements of mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
The equations : icons of knowledge, Sander Bais, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
The foundations of intuitionistic mathematics, : especially in relation to recursive functions, (by) Stephen Cole Kleene (and) Richard Eugene Vesley
Borrow it
Toggle Dropdown
Folsom Library
The foundations of mathematics and other logical essays., Edited by R. B. Braithwaite, with a pref. by G. E. Moore
Borrow it
Toggle Dropdown
Folsom Library
The foundations of mathematics and other logical essays., Edited by R. B. Braithwaite, with a preface by G. E. Moore
Borrow it
Toggle Dropdown
Folsom Library
The irrationals : a story of the numbers you can't count on, Julian Havil, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
The language of logic
Borrow it
Toggle Dropdown
Folsom Library
The laws of thought (1854)
Borrow it
Toggle Dropdown
Folsom Library
The logic book, Merrie Bergmann, James Moor, Jack Nelson
Borrow it
Toggle Dropdown
Folsom Library
The logic book, Merrie Bergmann, James Moor, Jack Nelson
Borrow it
Toggle Dropdown
Folsom Library
The logic design of transistor digital computers, (by) Gerald A. Maley (and) John Earle
Borrow it
Toggle Dropdown
Folsom Library
The logic of chance
Borrow it
Toggle Dropdown
Folsom Library
The logic of discovery, by R. D. Carmichael
Borrow it
Toggle Dropdown
Folsom Library
The logic of knowledge bases, Hector J. Levesque and Gerhard Lakemeyer, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
The logic of partial information, Areski Nait Abdallah
Borrow it
Toggle Dropdown
Folsom Library
The logic of partial information, Areski Nait Abdallah
Borrow it
Toggle Dropdown
Folsom Library
The logical foundations of scientific theories : languages, structures, and models, Décio Krause and Jonas R. B. Arenhart
Borrow it
Toggle Dropdown
Folsom Library
The logical foundations of scientific theories : languages, structures, and models, Décio Krause and Jonas R. B. Arenhart
Borrow it
Toggle Dropdown
Folsom Library
The logical problem of induction
Borrow it
Toggle Dropdown
Folsom Library
The logical syntax of language
Borrow it
Toggle Dropdown
Folsom Library
The logical syntax of language, Rudolf Carnap ; translated by Amethe Smeaton (Countess von Zeppelin)
Borrow it
Toggle Dropdown
Folsom Library
The logical syntax of language,, by Rudolf Carnap ..
Borrow it
Toggle Dropdown
Folsom Library
The logical systems of Lesniewski
Borrow it
Toggle Dropdown
Folsom Library
The mathematics of inheritance systems, David S. Touretzky
Borrow it
Toggle Dropdown
Folsom Library
The mathematics of logic : a guide to completeness theorems and their applications, Richard W. Kaye, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
The metaphysics of Wittgenstein's Tractatus, by Leonard Goddard and Brenda Judge
Borrow it
Toggle Dropdown
Folsom Library
The nature of mathematics; : a critical survey
Borrow it
Toggle Dropdown
Folsom Library
The nature of mathematics; : a critical survey, by Max Black
Borrow it
Toggle Dropdown
Folsom Library
The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein, Burt C. Hopkins
Borrow it
Toggle Dropdown
Folsom Library
The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein, Burt C. Hopkins, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library