Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic - Couverture souple

Livre 87 sur 304: Synthese Library
 
9789401032704: Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Couverture souple
ISBN 10 : 940103270X ISBN 13 : 9789401032704
Editeur : Springer, 2011

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

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
940103270X
ISBN 13 
9789401032704
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9789027700698: Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

Edition présentée

ISBN 10 :  9027700699 ISBN 13 :  9789027700698
Editeur : Kluwer Academic Publishers, 1970
Couverture rigide