Tableau Systems for First Order Number Theory and Certain Higher Order Theories bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
5667A-9783540071495

Hersteller:
Springer Verlag

Herst.-Nr.:
9783540071495

EAN/GTIN:
9783540071495

Suchbegriffe:

Mathematik-Bücher
Mathematikbücher - englischsprachig
mathematikbücher - englischsprachig

First order number theory.- Second order logic.- Other higher order systems due to Schütte.

Weitere Informationen:


Author:	S.A. Toledo
Verlag:	Springer Berlin
Sprache:	eng

... > Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Sonstiges

Weitere Suchbegriffe: Beweistheorie; Prädikatenkalkül; Zahlentheorie; numbertheory; proof, Beweistheorie, Prädikatenkalkül, Zahlentheorie, number theory, proof