A Course in Mathematical Logic for Mathematicians - Softcover

Buch 99 von 180: Graduate Texts in Mathematics

Manin, Yu. I.

 
9781441906168: A Course in Mathematical Logic for Mathematicians

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

PROVABILITY.- to Formal Languages.- Truth and Deducibility.- The Continuum Problem and Forcing.- The Continuum Problem and Constructible Sets.- COMPUTABILITY.- Recursive Functions and Church#x2019;s Thesis.- Diophantine Sets and Algorithmic Undecidability.- PROVABILITY AND COMPUTABILITY.- G#x00F6;del#x2019;s Incompleteness Theorem.- Recursive Groups.- Constructive Universe and Computation.- MODEL THEORY.- Model Theory.

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

Weitere beliebte Ausgaben desselben Titels