Dependence logic : a new approach to independence friendly logic /

Main Author:	Väänänen, J. 1950-
Format:	Book
Language:	English
Published:	Cambridge : Cambridge University Press, 2007.
Subjects:	First-order logic

Similar Items

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

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

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)

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)

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

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

Formal logic : its scope and limits /
by: Jeffrey, Richard
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)

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

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

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

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

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

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

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

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

Modal logic and classical logic
by: Benthem, J. F. A. K. van, 1949-
Published: (1983)

Logic/
by: Hodges, Wilfrid, 1941-
Published: (1991)

Logic /
by: Tomassi, Paul, 1962-
Published: (1999)

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

Logic /
by: Hodges, Wilfrid
Published: (1977)

Logic/
by: Hodges, Wilfrid
Published: (1977)

Logic/
by: Salmon, Wesley C.
Published: (1973)

Logic/
by: Ruge, Arnold, 1881-1945
Published: (1913)

Logic/
by: Baronett, Stan
Published: (2008)

Logic/
by: Tomassi, Paul, 1962-
Published: (1999)

Logic
by: Tomassi, Paul, 1962-
Published: (1999)

Logic
by: Pfθander, Alexander.
Published: (2009)

Logic : the basics /
by: Beall, J. C.
Published: (2010)

Natural logic/
by: Tennant, Neil, 1950-
Published: (1978)

Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996)

Cannot write session to /tmp/vufind_sessions/sess_122rs03bpjno4dt9d5ma2mcod0