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
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
Popular Trending Products
ISBN: 9789027700698TITLE: Formal Methods : An Introduction to Symbolic Logic and to the Study of Eff…