Metalogic: an introduction to the metatheory of standard first order logic/

Main Author:	Hunter, Geoffrey
Format:	Book
Language:	English
Published:	Berkeley: University of California Press, 1996
Subjects:	First-order logic

Similar Items

Metalogic: an introduction to the metatheory of standard first order logic/
by: Hunter, Geoffrey
Published: (1971)

First-order logic: an introduction/
by: Cauman, Leigh S.
Published: (1998)

A philosophical companion to first-order logic/
Published: (1993)

The language of first-order logic: including the Mackintosh version of Tarski's world 4.0/
by: Barwise, Jon
Published: (1993)

The language of first-order logic= Tarski's world. 1991 : including the Macintosh program Tarski's world/
by: Barwise, Jon
Published: (1991)

Dependence logic : a new approach to independence friendly logic /
by: Väänänen, J. 1950-
Published: (2007)

Formal logic: its scope and limits/
by: Jeffrey, Richard C.
Published: (1967)

Formal logic: its scope and limits/
by: Jeffrey, Richard C.
Published: (1990)

Tarski's world 3.0, including the Macintosh program/
by: Barwise, Jon
Published: (1991)

First-order logic/
Published: (2000)

First order mathematical logic/
by: Margaris, Angel
Published: (1990)

First-order logic/
by: Smullyan, Raymond M.
Published: (1968)

First-order logic/
by: Smullyan, Raymond M.
Published: (1968)

First order mathematical logic /
by: Margaris, Angelo
Published: (1967)

A philosophical companion to first-order logic/
Published: (1993)

Pensee logico-mathematique : nouveaux objets interdisciplinaires /
by: Houde, Olivier
Published: (1994)

First-order logic/
by: Smullyan, Raymond M.
Published: (1971)

Formal logic : its scope and limits /
by: Jeffrey, Richard C.
Published: (1981)

Formal logic : its scope and limits /
by: Jeffrey, Richard
Published: (1991)

Duality and definability in first order logic/
by: Makkai, Michael, 1939-
Published: (1993)

Extensions of first order logic /
by: Manzano, Mari?a
Published: (1996)

Automorphisms of first-order structures/
Published: (1994)

A lattice of chapters of mathematics : interpretations between theorems /
by: Mycielski, Jan, 1932-
Published: (1990)

Henkin-Keisler models/
by: Weaver, George
Published: (1997)

Logic, language-games and information: Kantian themes in the philosophy of logic/
by: Hintikka, Jaakko, 1929-
Published: (1973)

Metalog guide/
by: Bjerregaard, L.
Published: (1992)

Proof theory/
by: Takeuti, Gaisi, 1926-
Published: (1975)

Predicative arithmetic/
by: Nelson, Edward
Published: (1986)

Ordered sets : an introduction /
by: Schröder, Bernd S. W. 1966-
Published: (2003)

First aid illustrated : as arranged for first aid students /
Published: (1954)

First aid : the authorised manual of the St. John Ambulance Association of the order of St. John, the St. Andrew`s Ambulance Association, the British Red Cross Society.
Published: (1962)

First aid : the authorised manual of the St. John Ambulance Association of the order of St. John, the St. Andrew`s Ambulance Association, the British Red Cross Society.
Published: (1962)

First-order modal logic/
by: Fitting, Melvin, 1942-
Published: (1998)

First aid and CPR /
Published: (1993)

ABC of first aid.
Published: (1972)

The divine order, the human order, and the order of nature : historical perspectives /
Published: (2013)

Order statistics /
by: David, H. A. 1925-
Published: (1970)

The Concept of order
Published: (1968)

Order statistics/
by: David, H. A. 1925-
Published: (1981)

Order statistics /
by: David, H. A. 1925-
Published: (1981)

Cannot write session to /tmp/vufind_sessions/sess_kp5l2vgjkebl5isu7md66al624