A Formalization of set theory without variables /

Autor Tarski, Alfred, 1902-1983
Vydáno 1987

Logic for applications /

Autor Nerode, Anil, 1932-, Shore, Richard A., 1946-
Vydáno 1993

Finite structures with few types /

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

Algebraic approach to tense operators /

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

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

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

Filosofija logika jazyk /

Vydáno 1987

Gödelův důkaz /

Autor Nagel, Ernest, 1901-1985, Newman, James Roy, 1907-1966
Vydáno 2003

Structural proof theory /

Autor Negri, Sara, 1967-, Von Plato, Jan, 1951-
Vydáno 2001

Type theory and formal proof : an introduction /

Autor Nederpelt, Rob, Geuvers, Herman, 1964-
Vydáno 2014

Proof analysis : a contribution to Hilbert's last problem /

Autor Negri, Sara, 1967-, Von Plato, Jan, 1951-
Vydáno 2011

Handbook of the history of logic. Volume 6, Sets and extensions in the twentieth century /

Vydáno 2012