نتایج جستجو
A Course in Model Theory
Katrin Tent, Martin Ziegler, 2012
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic
Bruno Poizat, 2000
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic
Bruno Poizat, 2000
A deductive theory of space and time (no TOC)
Saul A. Basri, 1966
A formalization of set theory without variables
Alfred Tarski and Steven Givant, 1987
A Guide to Classical and Modern Model Theory
Annalisa Marcja, Carlo Toffalori (auth.), 2003
A Guide to Classical and Modern Model Theory
Annalisa Marcja, Carlo Toffalori, 2003
A modern formal logic primer: predicate theory
Paul Teller, 1989
A Modern Perspective on Type Theory: From its Origins until Today
Fairouz Kamareddine, Twan Laan, Rob Nederpelt, 2005
A Modern Perspective on Type Theory: From its Origins until Today
Fairouz Kamareddine, Twan Laan, Rob Nederpelt, 2005
A Structuralist Theory of Logic
Arnold Koslow, 1992
A structuralist theory of logic
Arnold Koslow, 1992
A Structuralist Theory of Logic
Arnold Koslow, 2005
A theory of formal deducibility
Haskell Brooks Curry, 1957
A theory of formal deducibility
Haskell Brooks Curry, 1957
A Theory of phonological wieght
HYMANL, 1985
A theory of sets
Morse A.P., 1965
A theory of sets
Anthony P. Morse, 1986
A theory of sets
Anthony P. Morse, 1986
A Transfinite Type Theory with Type Variables
Peter B Andrews, 1965
A Transfinite Type Theory with Type Variables
Peter Bruce Andrews, 1965
Abstract set theory
Abraham A. Fraenkel, 1953
Abstract Set Theory
Abraham Fraenkel, 1953
