Tableau Systems for First Order Number Theory and Certain Higher Order Theories

Name: Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Brand: Springer, Springer Berlin Heidelberg
SKU: 24045089
Price: 38.45 EUR
Availability: OutOfStock

(Sprache: Englisch)

Autor: S. A. Toledo

Schreiben Sie einen Kommentar zu "Tableau Systems for First Order Number Theory and Certain Higher Order Theories".

Tableau Systems for First Order Number Theory and Certain Higher Order Theories, S. A. Toledo

Merken

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

Mehr zum Inhalt Inhaltsverzeichnis Video

Buch 38.45 €

eBook (pdf) 38.03 €

Leider schon ausverkauft

versandkostenfrei

Bestellnummer: 24045089

Buch 38.45 €

In den Warenkorb

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenlose Rücksendung

Produktdetails

Produktbeschreibung
Inhaltsverzeichnis
Biblio. Angaben / Produktdetails

Produktinformationen zu „Tableau Systems for First Order Number Theory and Certain Higher Order Theories “

Klappentext zu „Tableau Systems for First Order Number Theory and Certain Higher Order Theories “

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

Inhaltsverzeichnis zu „Tableau Systems for First Order Number Theory and Certain Higher Order Theories “

- First order number theory

- Second order logic

- Other higher order systems due to Schütte

Bibliographische Angaben

Autor: S. A. Toledo
1975, 1975., 348 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
Verlag: Springer
ISBN-10: 3540071490
ISBN-13: 9783540071495
Erscheinungsdatum: 14.04.1975

Sprache:

Englisch

Kommentar zu "Tableau Systems for First Order Number Theory and Certain Higher Order Theories"

Schreiben Sie einen Kommentar zu "Tableau Systems for First Order Number Theory and Certain Higher Order Theories".