Discover references
formalism
Books
7 results
English
Beginner
Logic and specification: extending VDM-SL for advanced formal specification
Cornelis A. Middelburg
1993
View book
English
Beginner
The structure and development of mathematical theories. Modern Logic
Burgin M.S.,Kuznetsov V.I.
English
Beginner
A Mathematical Introduction to Logic, Second Edition
Herbert Enderton,Herbert B. Enderton
2001
View book