First-order logic: an introduction/

Main Author:	Cauman, Leigh S.
Format:	Book
Language:	English
Published:	Berlin ; New York: Walter de Gruyter, 1998
Subjects:	First-order logic

Similar Items

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)

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

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

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

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)

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

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

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

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

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

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

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

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)

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

First-order dynamic logic/
by: Harel, David, 1950-
Published: (1979)

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

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

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

Decidability and expressiveness for first-order logics of probability/
by: Adabi, Martin
Published: (1991)

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)

Stochastic orders /
by: Shaked, Moshe, 1945-
Published: (2007)

Stochastic orders/
by: Shaked, Moshe, 1945-
Published: (2007)

Linear orderings/
by: Rosenstein, Joseph G.
Published: (1982)

Order statistics/
by: David, Herbert Aron, 1925-
Published: (1981)

Logic : inquiry, argument, and order /
by: Pratt, Scott L.,

Cannot write session to /tmp/vufind_sessions/sess_selsf14f7dn8pasu93kqndodc0