
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Paperback Published on: 12/10/2011
Price: £89.99
Publisher information
- Publisher: Springer
- ISBN: 9789401032711
- Number of pages: 170
- Dimensions: 223 x 152 mm
- Languages: English
