Portada

A COURSE IN MATHEMATICAL LOGIC FOR MATHEMATICIANS IBD

SPRINGER
03 / 2012
9781461424796
Inglés

Sinopsis

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.

PVP
96,49