Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

The theory of models proceedings.

The axiomatic method

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

Logic colloquium '73 : proceedings

Proceedings of the Second Scandinavian Logic Symposium

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.

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

From Peirce to Skolem : a neglected chapter in the history of logic

A first course in mathematical logic and set theory

Autonomy Platonism and the indispensability argument

Distilling ideas an introduction to mathematical thinking

Classical mathematical logic the semantic foundations of logic

The continuum companion to philosophical logic

The mathematics of logic a guide to completeness theorems and their applications

Mathematical logic

Frege's logic

The birth of model theory Löwenheim's theorem in the frame of the theory of relatives

Paradox and paraconsistency conflict resolution in the abstract sciences

Mathematical logic in the 20th century

Logic with trees an introduction to symbolic logic

Intermediate logic

Frege and other philosophers

Deducibility and decidability

Mathematical logic

Sets, functions, measures. Volume 1, Fundamentals of set and number theory

Logic without borders

Quantification transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic

Diamond a paradox logic

Logic and the foundations of game and decision theory (LOFT 7)

Discovering patterns in mathematics and poetry

Andrzej Mostowski and foundational studies

Essays on Wittgenstein's Tractatus

A tour through mathematical logic

Set theory

Mathematical logic

Wittgenstein's Tractatus a dialectical interpretation

Foundations without foundationalism a case for second-order logic.

In the light of logic

Studies in logic

Logicism and its philosophical legacy

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Realizability : an introduction to its categorical side

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic

The collected papers of Gerhard Gentzen

Constructive order types

Elements of mathematical logic (Model theory)

Languages with expressions of infinite length

A survey of mathematical logic

The logical systems of Lesniewski.

Mathematical interpretation of formal systems

Solvable cases of the decision problem.

Logical dynamics of information and interaction

A mathematical introduction to logic

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985

Handbook of mathematical logic

Handbook of the logic of argument and inference : the turn towards the practical

Mathematical logic

Admissibility of logical inference rules

Logical frameworks for truth and abstraction : an axiomatic study

Foundational studies : selected works. Volume I

Foundational studies : selected works. Volume II

Symbolic logic and mechanical theorem proving

Algebraic methods of mathematical logic

Logic and discrete mathematics : a concise introduction

Logic and discrete mathematics : a concise introduction

The foundations of mathematics

Philosophy of mathematics in the twentieth century : selected essays

Symbolic logic syntax, semantics, and proof

Effective mathematics of the uncountable

The irrationals a story of the numbers you can't count on

Beyond sets a venture in collection-theoretic revisionism

Institution-independent model theory

The equations icons of knowledge

Formal logic : a philosophical approach

Principles of truth

The moment of proof mathematical epiphanies

Proof and knowledge in mathematics

Proof, logic, and formalization

Set theory and its logic