Title: Tableau Systems for First Order Number Theory and Certain Higher Order Theories / Edition 1, Author: S.A. Toledo
Title: ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1, Author: J. Diller
Title: Infinitary Combinatorics and the Axiom of Determinateness / Edition 1, Author: E. M. Kleinberg
Title: Philosophy of Logics / Edition 1, Author: Susan Haack
Title: Philosophical Papers: Volume 1, Mathematics, Matter and Method / Edition 2, Author: Hilary Putnam
Title: Logic as a Positive Science, Author: Galvano Della Volpe
Title: From a Logical Point of View: Nine Logico-Philosophical Essays, Second Revised Edition / Edition 3, Author: Willard Van Orman Quine
Title: Recursion on the Countable Functionals / Edition 1, Author: D. Normann
Title: Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 / Edition 1, Author: R.B. Jensen
Title: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies / Edition 1, Author: W. Buchholz
Title: Methods of Logic: Fourth Edition / Edition 4, Author: Willard Van Orman Quine
Title: Logic, Semantics, Metamathematics / Edition 2, Author: Alfred Tarski
Title: Classgroups of Group Rings, Author: Martin J. Taylor
Title: Philosophy of Logic: Second Edition / Edition 2, Author: Willard Van Orman Quine
Title: The Enumerative Theory of Conics after Halphen / Edition 1, Author: Eduardo Casas-Alvero
Title: Injective Choice Functions / Edition 1, Author: Michael Holz
Title: Nonstandard Asymptotic Analysis / Edition 1, Author: Imme van den Berg
Title: Meaning and Necessity: A Study in Semantics and Modal Logic / Edition 2, Author: Rudolf Carnap
Title: A Manual of Intensional Logic: 2nd Edition / Edition 2, Author: Johan van Benthem
Title: Wittgenstein's Tractatus: An Introduction / Edition 2, Author: H. O. Mounce

Pagination Links