Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics ; 447

Toledo, Sue,

ISBN 10: 3540071490 / ISBN 13: 9783540071495

Verlag: Berlin, Heidelberg, New York : Springer, 1975

Beschreibung

339 pages Ex-Library book in good condition. 9783540071495 Sprache: Englisch Gewicht in Gramm: 522.

Bestandsnummer des Verkäufers 1160062

Bibliografische Details

• Titel: Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics ; 447
• Verlag: Berlin, Heidelberg, New York : Springer
• Erscheinungsjahr: 1975
• Sprache: Englisch
• ISBN-10: 3540071490
• ISBN-13: 9783540071495
• Einband: Softcover
• Verkäuferkataloge:
  • SA MATHEMATIK