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

AED734.94
(0) Write a Review
SKU:
9789401032711
UPC:
9789401032711

Product Description

ISBN: 9789401032711
TITLE: Formal Methods : An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic : 4
AUTHOR: E.W. Beth
PUBLISHER: Springer
PUBLISHER DATE: 12 Oct 2011

Other Details

ISBN:
9789401032711
Author:
E.W. Beth
Publisher:
Springer
Publisher Date:
12 Oct 2011
Book Format:
Paperback