Mathematics of Fuzzy Sets and Fuzzy Logic

Phenomenology, Logic, and the Philosophy of Mathematics

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

The outer limits of reason what science, mathematics, and logic cannot tell us

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

After Gödel Platonism and rationalism in mathematics and logic

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

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell

Logic and Philosophy of Mathematics in the Early Husserl

The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Logic of mathematics a modern course of classical logic

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

Residuated lattices an algebraic glimpse at substructural logics

Residuated lattices an algebraic glimpse at substructural logics

Lectures on the Curry-Howard isomorphism

Relation algebras

Many-dimensional modal logics theory and applications

Relation algebras by games

Rudiments of [mu]-calculus

Theory of relations

Computable structures and the hyperarithmetical hierarchy

Handbook of computability theory

Categorical logic and type theory

Tools and techniques in modal logic

Classical recursion theory the theory of functions and sets of natural numbers

Handbook of proof theory

Handbook of recursive mathematics

Handbook of recursive mathematics

Admissibility of logical inference rules

Logical frameworks for truth and abstraction an axiomatic study

Hausdorff gaps and limits

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

Selected papers on Automath

Recursive functionals

Classical recursion theory the theory of functions and sets of natural numbers

Classification theory and the number of non-isomorphic models

Model theory

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

Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

Computability, complexity, logic

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

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

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

Foundations of infinitesimal stochastic analysis

Theory of relations

Cylindric algebras. Part II

Equivalents of the axiom of choice, II

Intentional mathematics

Harvey Friedman's research on the foundations of mathematics

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

Combinatorial set theory partition relations for cardinals

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

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

The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981

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

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

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

Fundamentals of generalized recursion theory

The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

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

Set theory an introduction to independence proofs

Word problems II the Oxford book

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

Foundational studies selected works. Volume II

Foundational studies selected works. Volume I

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

Algebra of proofs

Generalized recursion theory II proceedings of the 1977 Oslo Symposium

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

Combinatorial set theory

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Sets and classes on the work by Paul Bernays

Set theory with an introduction to descriptive set theory

Large infinitary languages model theory