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 The Value of BCG and TNF in Autoimmunity by
bigCover of the book Introduction to Mobile Robot Control by
bigCover of the book Nanoneuroscience and Nanoneuropharmacology by
bigCover of the book Nonlinear Systems in Heat Transfer by
bigCover of the book Stealing The Network by
bigCover of the book Annual Reports in Medicinal Chemistry by
bigCover of the book Carbohydrates: The Essential Molecules of Life by
bigCover of the book Elements of Set Theory by
bigCover of the book Microfluidics in Cell Biology Part C: Microfluidics for Cellular and Subcellular Analysis by
bigCover of the book Handbook of Differential Equations: Stationary Partial Differential Equations by
bigCover of the book Computational Methods for Understanding Riboswitches by
bigCover of the book Advances in Sequence Stratigraphy by
bigCover of the book OCEB 2 Certification Guide by
bigCover of the book Cracks and Fracture by
bigCover of the book High Temperature Coatings 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