Cover Image

Handbook of mathematical logic /

Show other versions (1)

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides t...

Full description

Bibliographic Details
Corporate Author:	ScienceDirect (Online service)
Other Authors:	Barwise, Jon, Keisler, H. Jerome
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam ; New York : North-Holland Pub. Co., 1977.
Series:	Studies in logic and the foundations of mathematics ; v. 90.
Subjects:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Symbolische logica. Wiskundige logica. MATHEMATICAL LOGIC. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)

Foundations without foundationalism : a case for second-order logic /
by: Shapiro, Stewart, 1951-
Published: (1991)

Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)

Admissibility of logical inference rules /
by: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published: (1997)

An introduction to symbolic logic.
by: Langer, Susanne K. (Susanne Katherina Knauth), 1895-1985
Published: (1953)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)

Logical frameworks for truth and abstraction : an axiomatic study /
by: Cantini, Andrea
Published: (1996)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)

Handbook of the logic of argument and inference : the turn towards the practical /
Published: (2002)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)

Non-standard logics for automated reasoning /
Published: (1988)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)

Mathematical logic in the 20th century /
Published: (2003)

La logique moderne.
by: Chauvineau, Jean
Published: (1957)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)

A survey of mathematical logic /
Published: (1963)

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 /
Published: (1978)

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Published: (1979)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)

Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)

Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)

Mathematical interpretation of formal systems
Published: (1955)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)

The Notre Dame lectures /
Published: (2005)

Realizability : an introduction to its categorical side /
by: Oosten, Jaap van
Published: (2008)

Fuzzy logic and mathematics : a historical perspective /
by: Bělohlávek, Radim
Published: (2017)

A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)

Nomological statements and admissible operations /
Published: (1954)

Reductive logic and proof-search : proof theory, semantics, and control /
by: Pym, David J., et al.
Published: (2004)

Constructive order types
by: Crossley, John N.
Published: (1969)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)

Relation, formule logique, compacité, complétude / par Roland Fraïssé.
by: Fraïssé, Roland
Published: (1967)

Mathematical logic and formalized theories : a survey of basic concepts and results /
by: Rogers, Robert, 1926-2011
Published: (1974)