Skip to contents

Hofstadter, Douglas R. [Author]

Gödel, Escher, Bach : ein endloses geflochtenes Band - [5., verb. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Klett-Cotta, 1985
Schreiber, Peter [Author]

Grundlagen der Mathematik - [2. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Dt. Verl. der Wiss., 1984

Published in: Mathematik für Lehrer ; 12.1984
Engeler, Erwin [Author]

Metamathematik der Elementarmathematik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1983

Published in: Hochschultext
Kleene, Stephen Cole [Author]

Introduction to metamathematics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland Publ. [u.a.], 1952

Published in: Bibliotheca mathematica ; 1
Schwabhäuser, Wolfram [Author]

Modelltheorie

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim: Bibliograph. Inst., 19XX-

Published in: Hochschultaschenbücher / Bibliographisches Institut ; .
Kersten, Ina [Author] ; Müller, Ben [Adapter]; Kierdorf, Christian [Other]

Mathematische Grundlagen in Biologie und Geowissenschaften : Kurs 2004/2005

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Göttingen: Univ.-Verl. Göttingen, 2004

Published in: Universitätsdrucke Göttingen
Hájek, Petr [Author]; Pudlák, Pavel [Author]

Metamathematics of first order arithmetic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Perspectives in mathematical logic
Stegmüller, Wolfgang [Author]

Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien: Springer, 1959
Dries, Lou van den [Other]; Macpherson, Dugald [Editor]; Toffalori, Carlo [Editor]; Dries, Lou van den [Editor]; Koenigsmann, Jochen [Editor]; Pillay, Anand [Editor]; Wilkie, Alex J. [Editor] ; Centro Internazionale Matematico Estivo

Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg [u.a.]: Springer, 2014

Published in: Lecture notes in mathematics ; 2111
Pym, David J. [Author]

The semantics and proof theory of the logic of bunched implications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer Acad. Publ., 2002

Published in: Applied logic series ; 26
Cameron, Peter J. [Author]

Oligomorphic permutation groups

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1990

Published in: London Mathematical Society: Lecture note series / London Mathematical Society ; 152
Wolter, Helmut [Editor] ; Osterkonferenz über Modelltheorie 9 1991 Gosen

Proceedings of the Ninth Easter Conference on Model Theory : Gosen, April 1 - 6, 1991

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Fachbereich Mathematik der Humboldt-Universität zu Berlin, 1991

Published in: Humboldt-Universität zu Berlin: Seminarberichte ; 112
Weese, Martin [Editor] ; Osterkonferenz über Modelltheorie 10 1993 Wendisch Rietz

Proceedings of the Tenth Easter Conference on Model Theory : Wendisch Rietz, April 12 - 17, 1993

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Fachbereich Mathematik der Humboldt-Universität zu Berlin, 1993

Published in: Humboldt-Universität zu Berlin: Seminarbericht / Fachbereich Mathematik der Humboldt-Universität zu Berlin ; 93,1
Hyttinen, Tapani [Author]

Games and infinitary languages

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Helsinki: Suomalainen Tiedeakatemia, 1987

Published in: Suomalainen Tiedeakatemia: Annales Academiae Scientiarum Fennicae / A / 1 / Dissertationes ; 6400
Steurer, Christoph [Author]

Grundlagen für ein wissenschaftstheoretisches Strukturkonzept zur Kartographie als Wissenschaft unter modelltheoretischen Aspekten

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien: Inst. für Kartographie, 1989

Published in: Institut für Kartographie: Berichte und Informationen / Österreichische Akademie der Wissenschaften, Institut für Kartographie ; 11
Burmeister, Peter [Author]

A model theoretic oriented approach to partial algebras

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Akademie-Verl., 1986

Published in: Introduction to theory and application of partial algebras ; 1 - Mathematical research ; 32
Prest, Mike [Author]

Model theory and modules

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 1988

Published in: London Mathematical Society: Lecture note series / London Mathematical Society ; 130
Bernzen, Rolf [Author]

Die praktische und theoretische Konstitution des Modellverfahrens : ein Beitrag zur Frühgeschichte der neuzeitlichen Wissenschaft

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frankfurt am Main [u.a.]: Lang, 1986

Published in: Europäische Hochschulschriften / 20 ; 169
Siegmund-Schultze, Manuel [Author]

Residual kleine Varietäten partieller Algebren

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1984
Blankertz, Herwig [Author]

Theorien und Modelle der Didaktik - [10. Aufl., (unveränd. Nachdr. der neubearb. und erw. 9. Aufl. 1975)]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Juventa-Verl., 1977

Published in: Grundfragen der Erziehungswissenschaft ; 6,10

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication