Logical Frameworks for Truth and Abstraction

An Axiomatic Study

Nonfiction, Science & Nature, Mathematics, Logic, Applied
Big bigCover of Logical Frameworks for Truth and Abstraction

More books from Elsevier Science

bigCover of the book Carbon Dioxide to Chemicals and Fuels by
bigCover of the book Cosmetic and Toiletry Formulations, Vol. 8 by
bigCover of the book International Review of Cell and Molecular Biology by
bigCover of the book The Boundary Element Method for Engineers and Scientists by
bigCover of the book Managing the Web of Things by
bigCover of the book Cancer and Development by
bigCover of the book Ideas of Quantum Chemistry by
bigCover of the book CMDB Systems by
bigCover of the book Adhesives Technology Handbook by
bigCover of the book Bio-inspired Algorithms for Engineering by
bigCover of the book Magnetism of Surfaces, Interfaces, and Nanoscale Materials by
bigCover of the book Electrical Drives for Direct Drive Renewable Energy Systems by
bigCover of the book Uncertainty Quantification and Stochastic Modeling with Matlab by
bigCover of the book Information Consulting by
bigCover of the book Hybrid Ship Hulls by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy