Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juli 2014
Genre:	Schulbücher
	Mathematical logic / MATHEMATICS / Logic
ISBN:	9780691610290
EAN-Code:	9780691610290
Verlag:	Princeton University Press
Einband:	Kartoniert
Sprache:	English
Serie:	#32 - Mathematical Notes #819 - Princeton Legacy Library
Dimensionen:	H 234 mm / B 156 mm / D 11 mm
Gewicht:	313 gr
Seiten:	200
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy