Zum Inhalt springen

Hofstadter, Douglas R. [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Grundlagen der Mathematik - [2. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Dt. Verl. der Wiss., 1984

Erschienen in: Mathematik für Lehrer ; 12.1984
Engeler, Erwin [VerfasserIn]

Metamathematik der Elementarmathematik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1983

Erschienen in: Hochschultext
Kleene, Stephen Cole [VerfasserIn]

Introduction to metamathematics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Bibliotheca mathematica ; 1
Schwabhäuser, Wolfram [VerfasserIn]

Modelltheorie

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Mannheim: Bibliograph. Inst., 19XX-

Erschienen in: Hochschultaschenbücher / Bibliographisches Institut ; .
Kersten, Ina [VerfasserIn] ; Müller, Ben [BearbeiterIn]; Kierdorf, Christian [Sonstige Person, Familie und Körperschaft]

Mathematische Grundlagen in Biologie und Geowissenschaften : Kurs 2004/2005

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Metamathematics of first order arithmetic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Perspectives in mathematical logic
Stegmüller, Wolfgang [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien: Springer, 1959
Dries, Lou van den [Sonstige Person, Familie und Körperschaft]; Macpherson, Dugald [HerausgeberIn]; Toffalori, Carlo [HerausgeberIn]; Dries, Lou van den [HerausgeberIn]; Koenigsmann, Jochen [HerausgeberIn]; Pillay, Anand [HerausgeberIn]; Wilkie, Alex J. [HerausgeberIn] ; Centro Internazionale Matematico Estivo

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg [u.a.]: Springer, 2014

Erschienen in: Lecture notes in mathematics ; 2111
Pym, David J. [VerfasserIn]

The semantics and proof theory of the logic of bunched implications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Applied logic series ; 26
Weese, Martin [HerausgeberIn] ; Osterkonferenz über Modelltheorie 10 1993 Wendisch Rietz

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Humboldt-Universität zu Berlin: Seminarbericht / Fachbereich Mathematik der Humboldt-Universität zu Berlin ; 93,1
Cameron, Peter J. [VerfasserIn]

Oligomorphic permutation groups

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Humboldt-Universität zu Berlin: Seminarberichte ; 112
Steurer, Christoph [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien: Inst. für Kartographie, 1989

Erschienen in: Institut für Kartographie: Berichte und Informationen / Österreichische Akademie der Wissenschaften, Institut für Kartographie ; 11
Hyttinen, Tapani [VerfasserIn]

Games and infinitary languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Helsinki: Suomalainen Tiedeakatemia, 1987

Erschienen in: Suomalainen Tiedeakatemia: Annales Academiae Scientiarum Fennicae / A / 1 / Dissertationes ; 6400
Burmeister, Peter [VerfasserIn]

A model theoretic oriented approach to partial algebras

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Akademie-Verl., 1986

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

Model theory and modules

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Residual kleine Varietäten partieller Algebren

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1984
Blankertz, Herwig [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München: Juventa-Verl., 1977

Erschienen in: Grundfragen der Erziehungswissenschaft ; 6,10

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr