Fr. 211.20

Lectures In Logic And Set Theory Vol. 1

Inglese · Copertina rigida

Spedizione di solito entro 2 a 3 settimane (il titolo viene stampato sull'ordine)

Descrizione

Ulteriori informazioni

Klappentext This two-volume set bridges the gap between introductory texts and the research literature. Zusammenfassung 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. Inhaltsverzeichnis Preface; 1. Basic logic; 2. The second incompleteness theorem; Bibliography; List of symbols; Index.

Dettagli sul prodotto

Autori Tourlakis George, George Tourlakis
Con la collaborazione di Bela Bollobas (Editore), W. Fulton (Editore)
Editore Cambridge University Press Academic
 
Lingue Inglese
Formato Copertina rigida
Pubblicazione 09.01.2003
 
EAN 9780521753739
ISBN 978-0-521-75373-9
Dimensioni 156 mm x 235 mm x 20 mm
Serie Cambridge Studies in Advanced
Categoria Scienze naturali, medicina, informatica, tecnica > Matematica > Altro

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.