A Course in Mathematical Logic - Softcover

Manin, Yu I

 
9781475743869: A Course in Mathematical Logic
Softcover
ISBN 10: 1475743866 ISBN 13: 9781475743869
Verlag: Springer, 2014

Inhaltsangabe

I Provability.- I Introduction to formal languages.- II Truth and deducibility.- III The continuum problem and forcing.- IV The continuum problem and constructible sets.- II Computability.- V Recursive functions and Church's thesis.- VI Diophantine sets and algorithmic undecidability.- III Provability and Computability.- VII Gödel's incompleteness theorem.- VIII Recursive groups.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
1475743866
ISBN 13 
9781475743869
Einband
Taschenbuch
Anzahl der Seiten
308
Kontakt zum Hersteller
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland