Books by Georg Kreisel

8 books found

Elements of mathematical logic (Model theory)

Elements of mathematical logic (Model theory)

19712 ed.
Modelltheorie

Modelltheorie

19722 ed.
Elements of mathematical logic

Elements of mathematical logic

19671 ed.
Elements of mathematical logic

Elements of mathematical logic

19711 ed.
Formally self-referential propositions for cut free classical analysis and related systems

Formally self-referential propositions for cut free classical analysis and related systems

19741 ed.
Éléments de logique mathématique

Éléments de logique mathématique

19671 ed.
Elements of mathematical logic: (Model theory) (Studies in logic and the foundations of mathematics)

Elements of mathematical logic: (Model theory) (Studies in logic and the foundations of mathematics)

19671 ed.
Eléments de logique mathématique

Eléments de logique mathématique

19671 ed.