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

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

Tapa blanda

ISBN 10: 940103270X ISBN 13: 9789401032704

Editorial: Springer, 2011

Esta edici�n ISBN ya no est� disponible.

Detalles de la edici�n

Editorial: Springer
A�o de publicaci�n: 2011
Idioma: Ingl�s
ISBN 10: 940103270X
ISBN 13: 9789401032704
Encuadernaci�n: Paperback
Contacto del fabricante: no disponible
Persona responsable: no disponible

Otras ediciones populares con el mismo t�tulo

9789027700698: Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic: 4 (Synthese Library)

Edici�n Destacada

ISBN 10: 9027700699 ISBN 13: 9789027700698
Editorial: Springer, 1970
Tapa dura