Logic and Structure - Softcover

Van Dalen, Dirk

 
9781447145592: Logic and Structure
Softcover
ISBN 10: 1447145593 ISBN 13: 9781447145592
Verlag: Springer, 2012

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
1447145593
ISBN 13 
9781447145592
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  038712831X ISBN 13:  9780387128313
Hardcover