Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	November 2019
Genre:	Philosophie
	Analytic Philosophy mathematics / B / Bolzano philosophy / Concept of Mathematics and Classification / Craig's interpolation theorem / Curry–Howard correspondence / Formal Languages and Automata Theory / History of Mathematics philosophy / intensional type theory / Logic / Mathematical foundations / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Mathematical theory of computation / Mathematik# Logik / mathematische Grundlagen / Metamathematics / Religion and Philosophy / Reverse mathematics / Theoretische Informatik / Turing Machine Philosophy mehr...
ISBN:	9783030204464
EAN-Code:	9783030204464
Verlag:	Springer EN
Einband:	Gebunden
Sprache:	English
Serie:	#412 - Synthese Library
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	740 gr
Seiten:	374
Illustration:	X, 374 p. 38 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt: