Articoli correlati a A Course on Mathematical Logic

A Course on Mathematical Logic - Brossura

Srivastava, Shashi Mohan

 
9781461457473: A Course on Mathematical Logic
Brossura
ISBN 10: 1461457475 ISBN 13: 9781461457473
Casa editrice: Springer, 2013

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Preface.- 1 Syntax of First-Order Logic.- 2 Semantics of First-Order Languages.- 3 Propositional Logic.- 4 Completeness Theorem for First-Order Logic.- 5 Model Theory.- 6 Recursive Functions and Arithmetization of Theories.- 7 Incompleteness Theorems and Recursion Theory.- References.- Index.

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

  • EditoreSpringer
  • Data di pubblicazione2013
  • ISBN 10 1461457475
  • ISBN 13 9781461457473
  • RilegaturaPaperback
  • LinguaInglese
  • 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

9781493998951: A Course On Mathematical Logic

Edizione in evidenza

ISBN 10:  1493998951 ISBN 13:  9781493998951
Brossura