Logic and Structure - Brossura

Van Dalen, Dirk

 
9781447145592: Logic and Structure
Brossura
ISBN 10: 1447145593 ISBN 13: 9781447145592
Casa editrice: Springer, 2012

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalization.- Gödel's theorem.

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

Editore
Springer
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
1447145593
ISBN 13 
9781447145592
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9780387128313: Logic and structure [Paperback] by D. van Dalen

Edizione in evidenza

ISBN 10:  038712831X ISBN 13:  9780387128313
Rilegato