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

Book 87 of 304: Synthese Library
 
9789401032704: Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Softcover
ISBN 10: 940103270X ISBN 13: 9789401032704
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
940103270X
ISBN 13 
9789401032704
Binding
Paperback

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  9027700699 ISBN 13:  9789027700698
Publisher: Kluwer Academic Publishers, 1970
Hardcover