Automorphisms of first-order structures /

Vydáno 1994

Building models by games /

Autor Hodges, Wilfrid, 1941-
Vydáno 1985

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 /

Vydáno 1981

Classification theory : and the number of non-isomorphic models /

Autor Shelah, Saharon, 1945-
Vydáno 1990

Computing and logic : mathematics and language /

Autor Satty, Glenn, Blakeley, Thomas J., 1931-1989, Colbert, James G.
Vydáno 1988

A course in model theory : an introduction to contemporary mathematical logic /

Autor Poizat, Bruno
Vydáno 2000

Finite structures with few types /

Autor Cherlin, Gregory L., 1948-, Hrushovski, Ehud, 1959-
Vydáno 2003

Geometric stability theory /

Autor Pillay, Anand
Vydáno 1996

Goodbye Descartes : the end of logic and the search for a new cosmology of the mind /

Autor Devlin, Keith J., 1947-
Vydáno 1997

An introduction to model theory /

Autor Rothmaler, Philipp.
Vydáno 2000

Model theory /

Autor Hodges, Wilfrid, 1941-
Vydáno 1993

Model theory, algebra and geometry /

Vydáno 2000

Topoi : the categorial analysis of logic /

Autor Goldblatt, Robert, 1949-
Vydáno 2006

Lectures on the Curry-Howard isomorphism /

Autor Sørensen, Morten Heine B. 1968-, Urzyczyn, Pawel
Vydáno 2006

Reasoning in quantum theory : sharp and unsharp quantum logics /

Autor Dalla Chiara, Maria Luisa, 1938-, Greechie, R., Giuntini, Roberto, 1960-
Vydáno 2004

A modern perspective on type theory : from its origins until today /

Autor Kamareddine, Fairouz D., Laan, Twan, Nederpelt, Rob
Vydáno 2010

Set theory and foundations of mathematics : an introduction to mathematical logic. Volume 1, Set theory /

Autor Cenzer, Douglas, Larson, Jean, Porter, Christopher, Zapletal, Jindřich, 1969-
Vydáno 2020

Algebraic approach to tense operators /

Autor Chajda, Ivan, 1946-, Paseka, Jan, 1962-
Vydáno 2015

The logic book /

Autor Bergmann, Merrie, Moor, James, 1942-, Nelson, Jack, 1944-
Vydáno 2014

Multiple forcing /

Autor Jech, Tomáš, 1944-
Vydáno 1986