Subsystems of second order arithmetic

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540648826
3540648828
Maße
25 cm
Umfang
XIV, 444 S.
Sprache
Englisch
Anmerkungen
Literaturverz. S. 413 - 424

Schlagwort
Mathematik
Grundlage
Mathematische Logik

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
(wer)
Springer
(wann)
1999
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:17 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 1999

Ähnliche Objekte (12)

Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes

Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes

Metamathematics of first order arithmetic

Metamathematics of first order arithmetic

Metamathematics of first order arithmetic

Metamathematics of first order arithmetic

(Decidable monadic second Order Theories of arithmetic)

Hochschulschrift

(Decidable monadic second Order Theories of arithmetic)

Class forcing and second-order arithmetic

Hochschulschrift

Class forcing and second-order arithmetic

Plastic design and second-order analysis of steel frames, Buch.

Plastic design and second-order analysis of steel frames, Buch.

Arithmetic groups

Arithmetic groups

Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

Basic structures of function field arithmetic

Basic structures of function field arithmetic

Basic structures of function field arithmetic

Basic structures of function field arithmetic

Arithmetic of p-adic modular forms

Arithmetic of p-adic modular forms

Field arithmetic

Field arithmetic

Verbundene Objekte