Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
EUR 7,84
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Gut. 331 S. Ex.-Libr., Good condition. Note of ownership. Sprache: Englisch Gewicht in Gramm: 585.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 49,58
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer, Springer Vieweg, 1968
ISBN 10: 3540042407 ISBN 13: 9783540042402
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Lectures on proof theory.- Partitions and models.- Klassen rekursiver funktionen.- Hyperarithmetic ultrafilters.- Recursive equivalence: A survey.- Half-ring morphologies.- Formalisations of some 0 ukasiewicz propositional calculi.- Theories which are not o-categorical.- The monadic fragment of predicate calculus with the Chang quantifier and equality.- The 1 1 -comprehension schema and -rules.