Tableau systems for first order number theory and certain higher order theories
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540071495
3540071490
9780387071497
0387071490
- Dimensions
-
25 cm
- Extent
-
339 S.;
- Language
-
Deutsch
- Notes
-
Literaturverz. S. 335 - 339.
- Bibliographic citation
-
Lecture notes in mathematics ; 447
- Keyword
-
Zahlentheorie
Prädikatenkalkül
Beweistheorie
Beweistheorie (Mathematik)
Mathematische Logik
Prädikatenkalkül
Zahlentheorie
Zahlentheorie
Prädikatenkalkül
Beweistheorie
Mathematische Logik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
1975
- Creator
-
Toledo, Sue
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:19 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Toledo, Sue
- Springer
Time of origin
- 1975
Other Objects (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