
Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Synopsis
About this book
- Language:English
- ISBN:9789401032698
- Release date:Jan 22, 2015
- Publisher:Springer Netherlands
- Imprint:Springer
- File format:EPUB2
- File size:7.76 MB
- Download options:EPUB2 (Adobe DRM)





































































