UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Universitätsbibliothek
Katalog
Suche
Details
Zur Ergebnisliste
Ergebnis 13 von 16
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Datensatz exportieren als...
BibTeX
Proof analysis : a contribution to Hilbert's last problem
Negri, Sara
Von Plato, Jan
2011
Details
Autor(en) / Beteiligte
Negri, Sara
Von Plato, Jan
Titel
Proof analysis : a contribution to Hilbert's last problem
Ort / Verlag
Cambridge : Cambridge University Press
Erscheinungsjahr
2011
Link zum Volltext
Cambridge University Press online books
Sprache
Englisch
Identifikatoren
ISBN: 9781139003513
Titel-ID: 990025010760106463
Format
1 Online-Ressource (xi, 265 Seiten)
Schlagworte
Proof theory