Automata, logics, and infinite games : a guide to current research /

Other Authors:	Gradel, Erich,, Thomas, Wolfgang,, Wilke, Thomas,
Format:	Book
Published:	Berlin: Springer, 2002
Series:	Lecture notes in computer science ; 2500
Subjects:	Logic, Symbolic and mathematical Game theory

Similar Items

Logic and the foundations of game and decision theory (LOFT 7)
Published: (2008)

Logic and automata history and perspectives /
Published: (2008)

Symbolic logic and the game of logic/
by: Carroll, Lewis, 1832-1898
Published: (1958)

Automata and computability /
Published: (1997)

Games, logic and constructive sets/
Published: (2003)

Symbolic logic and The game of logic: : (both books bound as one)/
by: Carroll, Lewis
Published: (1958)

Set theory and logic/
by: Stoll, Robert R.
Published: (1963)

Logic: an introductory course/
by: Newton-Smith, W. H.
Published: (1985)

Lattices to logic /
by: Dubisch, Roy
Published: (1964)

Lattices to logic/
by: Dubisch, Roy, 1917-
Published: (1964)

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1981)

Formal logic/
by: Lorenzen, Paul, 1915-1994
Published: (1965)

Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Lectures in logic and set theory /
by: Tourlakis, George J.
Published: (2003)

Set theory and logic/
by: Fraenkel, Abraham Adolf, 1891-1965
Published: (1966)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1963)

Introduction to logic and sets /
by: Christian, Robert R.
Published: (1965)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1961)

Notes on logic and set theory/
by: Johnstone, P. T.
Published: (1987)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1979)

Proof, logic and formalization /
by: Detlefsen, Michael
Published: (1992)

Set theory, logic, and their limitations/
by: Machover, Moshe
Published: (1996)

Logical number theory I : an introduction /
by: Smorynski, Craig
Published: (1991)

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

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

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Ω-Bibliography of mathematical logic/
Published: (1987)

The logical problem of induction/
by: Wright, G. H. von 1916-
Published: (1957)

Advances in linear logic /
Published: (1995)

The essence of logic/
by: Kelly, John J., -1995
Published: (1997)

The logical and set-theoretical foundations of mathematics /
by: Zulauf, A.
Published: (1969)

Logic Colloquium ʹ73 : proceedings of the Logic Colloquim Bristol, July 1973 /
Published: (1975)

The elements of mathematical logic/
by: Rosenbloom, Paul C.
Published: (1950)

Modern logic : a text in elementary symbolic logic /
by: Forbes, Graeme
Published: (1994)

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

Logic with trees : an introduction to symbolic logic /
by: Howson, Colin.
Published: (1997)

An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, Peter B.
Published: (2002)

Logic of mathematics a modern course of classical logic
by: Adamowicz, Zofia
Published: (1997)

Cannot write session to /tmp/vufind_sessions/sess_4u9cqtc9g52ht13lv2o3roj772