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
100+
Items that are about the Topic
Logic, Symbolic and mathematical
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings, M.E. Stickel, (ed.)
Borrow it
Toggle Dropdown
Folsom Library
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings, M.E. Stickel, (ed.)
Borrow it
Toggle Dropdown
Folsom Library
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, edited by W. Bibel and R. Kowalski
Borrow it
Toggle Dropdown
Folsom Library
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, edited by D. Loveland
Borrow it
Toggle Dropdown
Folsom Library
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings, edited by Jorg H. Siekmann
Borrow it
Toggle Dropdown
Folsom Library
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings, edited by Jorg H. Siekmann
Borrow it
Toggle Dropdown
Folsom Library
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings, E. Lusk, R. Overbeek (eds.)
Borrow it
Toggle Dropdown
Folsom Library
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings, E. Lusk, R. Overbeek (eds.)
Borrow it
Toggle Dropdown
Folsom Library
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 logic, artificial intelligence, and robotics : LAPTEC 2002, edited by Jair Minoro Abe and JoÃ£o InÃ¡cio da Silva Filho, (electronic resource)
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
Advances in technological applications of logical and intelligent systems : selected papers from the Sixth Congress on Logic Applied to Technology, edited by Germano Lambert-Torres ... [et al.]
Borrow it
Toggle Dropdown
Folsom Library
Advances in technological applications of logical and intelligent systems : selected papers from the Sixth Congress on Logic Applied to Technology, edited by Germano Lambert-Torres ... [et al.], (electronic resource)
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
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley
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
Annals of mathematical logic
Borrow it
Toggle Dropdown
Folsom Library
Annals of pure and applied logic
Borrow it
Toggle Dropdown
Folsom Library
Applications scientifiques de la logique mathematique: : actes du 2e Colloque international de logique mathematique, Paris, 25-30 aout 1952, Institut Henri Poincare
Borrow it
Toggle Dropdown
Folsom Library
Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers, John A. Campbell, Eugenio Roanes-Lozano (eds.)
Borrow it
Toggle Dropdown
Folsom Library
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings, Alan Bundy (ed.)
Borrow it
Toggle Dropdown
Folsom Library
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings, Alan Bundy (ed.)
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
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings, P. Martin-Lof, G. Mints, eds
Borrow it
Toggle Dropdown
Folsom Library
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings, P. Martin-Lof, G. Mints, eds
Borrow it
Toggle Dropdown
Folsom Library
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings, E. Borger, H. Kleine Buning, M.M. Richter (eds.)
Borrow it
Toggle Dropdown
Folsom Library
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : 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
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 '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings, E. Borger, H. Kleine Buning, M.M. Richter (eds.)
Borrow it
Toggle Dropdown
Folsom Library
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings, E. Borger, H. Kleine Buning, M.M. Richter (eds.)
Borrow it
Toggle Dropdown
Folsom Library
Cabal seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77, edited by A. S. Kechris and Y. N. Moschovakis
Borrow it
Toggle Dropdown
Folsom Library
Cambridge Summer School in Mathematical Logic; : (papers), Edited by A. R. D. Mathias (and) H. Rogers
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
Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01), C.S. Calude, M.J. Dinneen, and S. Sburlan (eds.)
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
Commonsense reasoning, Erik T. Mueller, (electronic resource)
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
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings, E. Borger ... (et al.), eds
Borrow it
Toggle Dropdown
Folsom Library
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings, E. Borger ... (et al.), eds
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
Conference in Mathematical Logic, London '70., Edited by Wilfrid Hodges
Borrow it
Toggle Dropdown
Folsom Library
Contributions to non-standard analysis., Edited by W. A. J. Luxemburg and A. Robinson
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
Current issues in quantum logic, edited by Enrico Beltrametti and Bas C. van Fraassen
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
Eleventh Scandinavian Conference on Artificial Intelligence : SCAI 2011, edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth, (electronic resource)
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 : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine
Borrow it
Toggle Dropdown
Folsom Library
Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine
Borrow it
Toggle Dropdown
Folsom Library
Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine
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 : importance and legacy, edited by Matthias Schirn, (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
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings, Alessandro Armando (ed.)
Borrow it
Toggle Dropdown
Folsom Library
Frontiers of combining systems : first international workshop, Munich, March 1996, edited by Franz Baader and Klaus U. Schulz
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
Godel remembered : Salzburg 10-12 July 1983, R. Godel ... (et al.) ; edited by Paul Weingartner and Leopold Schmetterer
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
History of mathematical logic from Leibniz to Peano, (by) N. I. Styazhkin
Borrow it
Toggle Dropdown
Folsom Library
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974, edited by G. H. Muller, A. Oberschelp, K. Potthoff
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
Infinity and truth, editors, Chitat Chong, National University of Singapore, Singapore [and three others]
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
Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London, edited by Johan Van Benthem, Dov Gabbay, Benedikt LÃ¶we, (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 mathematical proof : a transition to advanced mathematics, Charles E. Roberts, Jr., Indiana State University, Terre Haute, USA
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 and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968., Edited by A. Kino, J. Myhill and R. E. Vesley
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 Colloquium '77 : proceedings of the colloquium held in Wroclaw, August 1977, edited by Angus Macintyre, Leszek Pacholski, Jeff Paris
Borrow it
Toggle Dropdown
Folsom Library
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984, editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers
Borrow it
Toggle Dropdown
Folsom Library
Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985, edited by the Paris Logic Group
Borrow it
Toggle Dropdown
Folsom Library
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986, edited by F.R. Drake and J.K. Truss
Borrow it
Toggle Dropdown
Folsom Library
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987, edited by H.-D. Ebbinghaus ... (et.al.)
Borrow it
Toggle Dropdown
Folsom Library
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988, edited by R. Ferro ... (et al.)
Borrow it
Toggle Dropdown
Folsom Library
Logic Colloquium : symposium on logic held at Boston, 1972-73, edited by R. Parikh
Borrow it
Toggle Dropdown
Folsom Library
Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980, edited by G.H. Muller, G. Takeuti, and T. Tugue
Borrow it
Toggle Dropdown
Folsom Library
Logic and algorithmic : an international symposium held in honour of Ernst Specker
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 computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988, S. Homer ... (et al.) ; editor, P. Odifreddi
Borrow it
Toggle Dropdown
Folsom Library
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988, S. Homer ... (et al.) ; editor, P. Odifreddi
Borrow it
Toggle Dropdown
Folsom Library
Logic and discrete mathematics : a concise introduction, Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa
Borrow it
Toggle Dropdown
Folsom Library
Logic and discrete mathematics : a concise introduction, Willem Conradie, Valentin Goranko
Borrow it
Toggle Dropdown
Folsom Library
Logic and its applications : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings, Kamal Lodaya (ed.)
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 at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings, A.R. Meyer, M.A. Taitslin (eds.)
Borrow it
Toggle Dropdown
Folsom Library
Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings, A.R. Meyer, M.A. Taitslin (eds.)
Borrow it
Toggle Dropdown
Folsom Library
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973, Edited by H. E. Rose and J. C. Shepherdson
Borrow it
Toggle Dropdown
Folsom Library
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973, Edited by H. E. Rose and J. C. Shepherdson
Borrow it
Toggle Dropdown
Folsom Library
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973, Edited by H. E. Rose and J. C. Shepherdson
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 year 1979-80, the University of Connecticut, USA, edited by M. Lerman, J.H. Schmerl, and R.I. Soare
Borrow it
Toggle Dropdown
Folsom Library
Logic, action, and information : essays on logic in philosophy and artificial intelligence, edited by Andre Fuhrmann and Hans Rott
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, computation, hierarchies, edited by Vasco Brattka, Hannes Diener, Dieter Spreen
Borrow it
Toggle Dropdown
Folsom Library
Logic, computers, and sets
Borrow it
Toggle Dropdown
Folsom Library
Logic, foundations of mathematics, and computability theory, edited by Robert E. Butts and Jaakko Hintikka
Borrow it
Toggle Dropdown
Folsom Library
Logic, foundations of mathematics, and computability theory, edited by Robert E. Butts and Jaakko Hintikka
Borrow it
Toggle Dropdown
Folsom Library
Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991, edited by Dag Prawitz, Brian Skyrms, Dag Westerstahl
Borrow it
Toggle Dropdown
Folsom Library
Logic, methodology, and philosophy of science; : proceedings., Edited by Ernest Nagel, Patrick Suppes (and) Alfred Tarski
Borrow it
Toggle Dropdown
Folsom Library
Logic, methodology, and philosophy; : proceedings., Edited by Yehoshua Bar-Hillel
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 computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings, Sergei N. Artemov, Anil Nerode (eds.)
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
Logical reasoning with diagrams, edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]
Borrow it
Toggle Dropdown
Folsom Library
Logical reasoning with diagrams, edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.], (electronic resource)
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 in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings, J. van Eijck (ed.)
Borrow it
Toggle Dropdown
Folsom Library
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings, J. van Eijck (ed.)
Borrow it
Toggle Dropdown
Folsom Library
Logics in artificial intelligence : European workshop, JELIA 2000, MÃ¡laga, Spain, September 29-October 2, 2000 : proceedings, Manuel Ojeda-Aciego ... [et al.] (eds.)
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
Logique, automatique, informatique. : (Recherches., Sous la direction de Gr. C. Moisil)
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 : proceedings of the first Brazilian Conference, edited by Ayda I. Arruda, Newton C. A. da Costa, Rolando Chuaqui
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987, J. Shinoda, T.A. Slaman, T. Tugue, eds
Borrow it
Toggle Dropdown
Folsom Library
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987, J. Shinoda, T.A. Slaman, T. Tugue, eds
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 foundations of set theory. : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968., Ed. by Yehoshua Bar-Hillel
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 Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005, editors, S.S. Goncharov, R. Downey, H. Ono, (electronic resource)
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
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983, edited by C.A. Di Prisco
Borrow it
Toggle Dropdown
Folsom Library
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983, edited by C.A. Di Prisco
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
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in BogotÃ¡, edited by Xavier Caicedo, Carlos H. Montenegro, (electronic resource)
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
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 : proceedings, R. Studer, ed
Borrow it
Toggle Dropdown
Folsom Library
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 : proceedings, R. Studer, ed
Borrow it
Toggle Dropdown
Folsom Library
Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984, edited by Veronica Dahl and Patrick Saint-Dizier
Borrow it
Toggle Dropdown
Folsom Library
New essays on Tarski and philosophy, edited by Douglas Patterson, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
New perspectives on games and interaction, edited by Krzysztof R. Apt, Robert Van Rooij, (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13-15, 1988 : proceedings, M. Reinfrank ... (et al.), eds
Borrow it
Toggle Dropdown
Folsom Library
Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13-15, 1988 : proceedings, M. Reinfrank ... (et al.), eds
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
Notre Dame journal of formal logic
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 : Symposium on Logic in Computer Science
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008, editors, T. Arai ... [et al.], (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009, edited by Toshiyasu Arai ... [et al.], (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011, edited by Rod Downey ... [et al.], (electronic resource)
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the International Symposium on Uniformly Structured Automata and Logic : papers presented at the International Institute for Advanced Study of Social Information Science, Tokyo, August 21-23, 1975, sponsored by Information Processing Society of Japan, IEEE Computer Society, IECEJ Technical Group on Automata and Languages, Mathematical Society of Japan
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the Second Scandinavian Logic Symposium., Ed. by J. E. Fenstad
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August, 1969., Edited by R. O. Gandy (and) C. M. E. Yates
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the Summer School in Logic, Leeds, 1967; : N. A. T. O. Advanced Study Institute, Meeting of the Association for Symbolic Logic., Edited by M. H. Lob
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the conference 'Algebra and Logic' : Cetinje, 1986, (editor: Zoran Stojakovic.)
Borrow it
Toggle Dropdown
Folsom Library
Proceedings of the conference, Algebra and Logic : Zagreb, 1984, (editor: Zoran Stojakovic.)
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