Logic and Structure - Couverture souple

Van Dalen, Dirk

 
9781447145592: Logic and Structure
Couverture souple
ISBN 10 : 1447145593 ISBN 13 : 9781447145592
Editeur : Springer, 2012

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
1447145593
ISBN 13 
9781447145592
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9780387128313: Logic and structure (Universitext)

Edition présentée

ISBN 10 :  038712831X ISBN 13 :  9780387128313
Couverture rigide