Articoli correlati a Incompleteness and Computability: An Open Logic Text

Incompleteness and Computability: An Open Logic Text - Brossura

Zach, Richard

 
9781548138080: Incompleteness and Computability: An Open Logic Text
Brossura
ISBN 10: 1548138088 ISBN 13: 9781548138080
Casa editrice: CreateSpace Independent Publishing Platform, 2017

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

A textbook on recursive function theory and Gödel's incompleteness theorems. Also covers models of arithmetic and second-order logic.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Richard Zach is Professor of Philosophy at the University of Calgary

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreCreateSpace Independent Publishing Platform
  • Data di pubblicazione2017
  • ISBN 10 1548138088
  • ISBN 13 9781548138080
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine228
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9781077323391: Incompleteness and Computability: An Open Introduction to Gödel's Theorems

Edizione in evidenza

ISBN 10:  1077323395 ISBN 13:  9781077323391
Casa editrice: Independently published, 2019
Brossura