Language, Proof and Logic
1999
597 pages
pdf
4 MB
Read:
Recommendations
If you are interested in this title, you may also like:
Hybrid Logic and its Proof-Theory
2011
Probabilistic Logics and Probabilistic Networks
2010
Introduction to Fuzzy Logic using MATLAB
2006
Apple Pro Training Series - Logic Pro 9 and Logic Express 9
2009
Topological Methods in Data Analysis and Visualization
2011
UML Distilled - A Brief Guide to the Standard Object Modeling Language, Third Edition
2003