HEIDI

Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.

Suchhistorie (1 Recherche)

[1-20] [21-40] [41-60] [61-80] [81-100] ...

Sortierung: Kein Fach bevorzugen

Treffer einschränken:

nur exakte Begriffe

nur Zeitschriften, Zeitungen

ohne Zeitschriften, Zeitungen

nur Online-Angebote

ohne Online-Angebote

ohne Bilder

ohne Universitätsbibliographie

nur Universitätsbibliographie

nur Klass. Archäologie (FID)

nur Kunstgeschichte (FID)

nur Ägyptologie (FID)

1.	Müller-Stach, Stefan: Der Code der Mathematik : Beweis und Wahrheit / von Stefan Müller-Stach. - 1st ed. 2023.. - Berlin, Heidelberg: Springer Berlin Heidelberg, 2023.. - 1 Online-Ressource(XIII, 180 S. 54 Abb.), ISBN 978-3-662-66562-6 DOI: 10.1007/978-3-662-66562-6 Themen: Grundlage \| Mathematik \| Metamathematik Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
2.	Clarke-Doane, Justin: Morality and mathematics / Justin Clarke-Doane. - Oxford, United Kingdom: Oxford University Press, 2023. - viii, 208 Seiten, ISBN 978-0-19-889886-3 DOI: 10.1093/oso/9780198898863.001.0001 Themen: Erkenntnistheorie \| Metaethik \| Metamathematik \| Moralischer Realismus \| Objektivität \| Realismus <Ontologie> Buch/keine Angabe → Ähnliche Titel suchen	entliehen (gesamte Vormerkungen: 0) Signatur: 2024 A 1064 → Andere Auflagen/Ausgaben
3.	Clarke-Doane, Justin: Morality and mathematics / Justin Clarke-Doane. - First edition. - Oxford: Oxford University Press, 2020. - 1 Online-Ressource (viii, 208 Seiten), ISBN 978-0-19-186227-4 (Oxford scholarship online) DOI: 10.1093/oso/9780198823667.001.0001 Themen: Erkenntnistheorie \| Metaethik \| Metamathematik \| Moralischer Realismus \| Objektivität \| Realismus <Ontologie> Online-Ressource → Ähnliche Titel suchen Inhaltsverzeichnis	online aufrufen → Andere Auflagen/Ausgaben
4.	Serovajskij, Semen Jakovlevič: Architecture of mathematics / Simon Serovajsky, al-Farabi Kazakh Nationa University. - First edition. - Boca Raton ; London ; New York: CRC Press, Taylor & Francis Group, [2021]. - xvii, 375 Seiten : Diagramme, ISBN 978-1-138-60105-5 Themen: Grundlagenforschung \| Metamathematik Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: UBN/SK 130 S486(1) → Andere Auflagen/Ausgaben
5.	Robinson, Abraham: Introduction to model theory and to the metamathematics of algebra / Abraham Robinson. - 2., rev. print.. - Amsterdam [u.a.]: North-Holland Publ. Co. [u.a.], 1974. - IX, 284 S., ISBN 978-0-444-10671-1 (Studies in logic and the foundations of mathematics) Themen: Algebra \| Mathematik \| Metamathematik \| Modelltheorie \| Theorie Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
6.	Cherlin, Gregory L.: Homogeneous ordered graphs, metrically homogeneous graphs, and beyond : Volume I: Ordered graphs and distanced graphs / Gregory Cherlin. - Cambridge: Cambridge University Press, 2022. - 1 Online-Ressource (xxx, 356 Seiten), ISBN 978-1-009-22966-1 (Lecture notes in logic ; 53) DOI: 10.1017/9781009229661 Themen: Amalgam <Gruppentheorie> \| Innere Metrik \| Klassifikation \| Metrischer Raum \| Modelltheorie \| geordneter Graph \| homogener Graph Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
7.	Cherlin, Gregory L.: Homogeneous ordered graphs, metrically homogeneous graphs, and beyond : Volume II: 3-Multi-graphs and 2-Multi-tournaments / Gregory Cherlin. - Cambridge: Cambridge University Press, 2022. - 1 Online-Ressource (xxiv, 264 Seiten), ISBN 978-1-009-22950-0 (Lecture notes in logic ; 54) DOI: 10.1017/9781009229500 Themen: Klassifikation \| Modelltheorie \| Multigraph \| Turnier <Mathematik> \| homogener Graph Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
8.	Gentzen's centenary : the quest for consistency / Reinhard Kahle, Michael Rathjen editors. - Cham ; Heidelberg ; New York ; Dordrecht ; London: Springer, 2015. - 1 Online-Ressource, ISBN 978-3-319-10103-3 (SpringerLink : Bücher) (Springer eBook Collection : Mathematics and Statistics) DOI: 10.1007/978-3-319-10103-3 Themen: Logik \| Metamathematik Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
9.	Hofstadter, Douglas R.: Gödel, Escher, Bach : ein endloses geflochtenes Band / Douglas R. Hofstadter. - 14. Aufl.. - Stuttgart: Klett-Cotta, 1995. - XIX, 844 S : Ill., graph. Darst., Noten, ISBN 978-3-608-93037-5 Themen: Denken \| Künstliche Intelligenz \| Metamathematik Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
10.	Robinson, Abraham: Introduction to model theory and to the metamathematics of algebra / Abraham Robinson. - 2. ed., 2. print.. - Amsterdam [u.a.]: North-Holland, 1986. - XII, 284 S, ISBN 978-0-7204-2222-1 (Studies in logic and the foundations of mathematics) Themen: Algebra \| Mathematik \| Metamathematik \| Modelltheorie \| Theorie Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
11.	Robinson, Abraham: Introduction to model theory and to the metamathematics of algebra / Abraham Robinson. - 2. ed.. - Amsterdam: North-Holland, 1965. - IX, 284 S. (Studies in logic and the foundations of mathematics) Themen: Algebra \| Mathematik \| Metamathematik \| Modelltheorie \| Theorie Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
12.	Stegmüller, Wolfgang: Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Goedel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / Wolfgang Stegmüller. - 2., bericht. Aufl.. - Wien [u.a.]: Springer, 1970. - 114 S. Themen: Entscheidbarkeit \| Erkenntnistheorie \| Logik \| Mathematik \| Metamathematik \| Unentscheidbarkeit \| Unvollständigkeit Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
13.	Lorenzen, Paul: Metamathematik / von Paul Lorenzen. - Mannheim: Bibliogr. Inst., 1962. - 167 S. (BI-Hochschultaschenbücher ; 25) Themen: Mathematik \| Mathematische Logik \| Metamathematik \| Theorie Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen Inhaltsverzeichnis	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
14.	Boos, William: Metamathematics and the philosophical tradition / William Boos ; edited by Florence S. Boos. - Berlin ; Boston: De Gruyter, [2018]. - XII, 481 Seiten, ISBN 978-3-11-057221-6 Themen: Erkenntnistheorie \| Mathematik \| Metamathematik \| Philosophie Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	ausleihbar Signatur: 2019 A 46 → Andere Auflagen/Ausgaben
15.	Stegmüller, Wolfgang: Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / von Wolfgang Stegmüller. - Wien: Springer, 1959. - 114 S. Themen: Entscheidbarkeit \| Metamathematik \| Unentscheidbarkeit \| Unvollständigkeit Buch/keine Angabe → Ähnliche Titel suchen	bestellen Signatur: M 1109-106-5 → Weitere Exemplare → Andere Auflagen/Ausgaben
16.	Robinson, Abraham: Introduction to model theory and to the metamathematics of algebra / Abraham Robinson. - Amsterdam: North-Holland, 1963. - IX, 284 S. (Studies in logic and the foundations of mathematics) Themen: Algebra \| Mathematik \| Metamathematik \| Modelltheorie \| Theorie Buch/keine Angabe → Ähnliche Titel suchen	bestellen Signatur: 63 B 2150 → Weitere Exemplare → Andere Auflagen/Ausgaben
17.	Hofstadter, Douglas R.: Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter. - Hassocks, Sussex: Harvester Pr., 1979. - XXI, 777 Seiten : Illustrationen, Diagramme (Harvester studies in cognitive science ; 12) Themen: Denken \| Escher, Maurits C. \| Gödel, Kurt \| Kognitiver Prozess \| Künstliche Intelligenz \| Metamathematik Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	entliehen (gesamte Vormerkungen: 0) Signatur: 80 A 10760 → Weitere Exemplare → Andere Auflagen/Ausgaben
18.	The semantic conception of logic : essays on consequence, invariance, and meaning / edited by Gil Sagi (University of Haifa, Israel), Jack Woods (University of Leeds). - First paperback edition. - Cambridge ; New York, NY: Cambridge University Press, 2023. - x, 294 Seiten : Diagramme, ISBN 978-1-108-43554-3 DOI: 10.1017/9781108524919 Themen: Computerlinguistik \| Formale Semantik \| Invariante \| Logik \| Modelltheorie \| Sprachdaten Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	ausleihbar Signatur: 2024 A 976 → Andere Auflagen/Ausgaben
19.	Shapiro, Stewart: Varieties of logic / Stewart Shapiro. - Oxford: Oxford University Press, 2014. - 1 Online-Ressource (226 Seiten), ISBN 978-0-19-178486-6 DOI: 10.1093/acprof:oso/9780199696529.001.0001 Themen: Epistemologischer Kontextualismus \| Metamathematik \| Philosophie der Logik \| Relativismus Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
20.	Markwald, Werner: Einführung in die formale Logik und Metamathematik / von Werner Markwald. - 1. Aufl.. - Stuttgart: Klett, 1972. - 168 S : graph. Darst, ISBN 978-3-12-983190-8 (Klett-Studienbücher Mathematik) Themen: Mathematische Logik \| Metamathematik Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis: 1, 2, 3	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben

[1-20] [21-40] [41-60] [61-80] [81-100] ...

Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.

Impressum / Datenschutz Design