Tableau systems for first order number theory and certain higher order theories
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540071495
3540071490
9780387071497
0387071490
- Maße
-
25 cm
- Umfang
-
339 S.;
- Sprache
-
Deutsch
- Anmerkungen
-
Literaturverz. S. 335 - 339.
- Erschienen in
-
Lecture notes in mathematics ; 447
- Schlagwort
-
Zahlentheorie
Prädikatenkalkül
Beweistheorie
Beweistheorie (Mathematik)
Mathematische Logik
Prädikatenkalkül
Zahlentheorie
Zahlentheorie
Prädikatenkalkül
Beweistheorie
Mathematische Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
1975
- Urheber
-
Toledo, Sue
- 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:19 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Toledo, Sue
- Springer
Entstanden
- 1975
Ähnliche Objekte (12)
First order programming theories
On certain curves of the sixth order.
(Decidable monadic second Order Theories of arithmetic)
On the order of certain systems of equations.
On certain properties of surfaces of the second order.
On the order of certain systems of algebraical equations.
Efficient reasoning procedures for complex first-order theories
Higher-order Sudakov resummation in coupled gauge theories
Natural geometric quantization of first-order field theories
On a certain property of surfaces of the second order.
First order and counting theories of omega-automatic structures
Number Crunching EU Law and the Irish Legal Order
First order programming theories
On certain curves of the sixth order.
(Decidable monadic second Order Theories of arithmetic)
On the order of certain systems of equations.
On certain properties of surfaces of the second order.
On the order of certain systems of algebraical equations.
Efficient reasoning procedures for complex first-order theories
Higher-order Sudakov resummation in coupled gauge theories
Natural geometric quantization of first-order field theories
On a certain property of surfaces of the second order.
First order and counting theories of omega-automatic structures
Number Crunching EU Law and the Irish Legal Order
First order programming theories
On certain curves of the sixth order.
(Decidable monadic second Order Theories of arithmetic)
On the order of certain systems of equations.
On certain properties of surfaces of the second order.
On the order of certain systems of algebraical equations.
Efficient reasoning procedures for complex first-order theories
Higher-order Sudakov resummation in coupled gauge theories
Natural geometric quantization of first-order field theories
On a certain property of surfaces of the second order.
First order and counting theories of omega-automatic structures