Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	November 2017
Genre:	Schulbücher
	Algebraic closure / Automating Mathematics / Axiom schema / Choice function / Church Rosser Property / Classifying Topos / follow / Full Subcategory / Grothendieck topology / Higher order logic / Inductive Construction / Infinite Subset / Jacobson Radical / Lambda Calculus / Left Adjoint / MATHEMATICS / Set Theory / Minimal Normal Subgroup / Natural number / Oracle Machine / Oracle Queries / Primitive Recursive / Profinite groups / Segment Variables / Set theory / theoretical computer science / Topological space / Type theory mehr...
ISBN:	9781138466890
EAN-Code:	9781138466890
Verlag:	Taylor and Francis
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 254 mm / B 178 mm / D
Gewicht:	910 gr
Seiten:	408
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.