Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics - Tourlakis, George (York University, Toronto) - Grāmatas - Cambridge University Press - 9780521168465 - 2010. gada 9. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics

Cena
€ 83,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 26. okt. - . gada 3. nov.
Saņemiet paziņojumus par jauniem Tourlakis, George (York University, Toronto) izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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.


342 pages, black & white illustrations

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 9. septembris
ISBN13 9780521168465
Izdevēji Cambridge University Press
Lapas 342
Izmēri 229 × 154 × 28 mm   ·   516 g
Valoda Angļu  

Vairāk no Tourlakis, George (York University, Toronto)

Vairāk no tā paša izdevēja