Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
af George (York University Tourlakis
Bog, Hardback, Engelsk, 2003
This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO629,95 kr.Gratis fragtUkendtKøb for 629,95 kr.Køb
- Bogreolen1.293,95 kr.0,00 kr.2-4 ugerKøb for 1.293,95 kr.Køb
- Tales1.294,95 kr.34,95 kr.2-4 ugerKøb for 1.294,95 kr.Køb
- Pling BØGER1.294,95 kr.34,95 kr.2-4 ugerKøb for 1.294,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9780521753739
- Udgivet9/01/2003
- Udgivet afCambridge University Press
- Længde342 sider
- ForfatterGeorge (York University Tourlakis
- GenreBusiness og læring, Computer og IT