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 Advances in Planar Lipid Bilayers and Liposomes by
bigCover of the book Recycling and Deinking of Recovered Paper by
bigCover of the book Stress Corrosion Cracking of Nickel Based Alloys in Water-cooled Nuclear Reactors by
bigCover of the book Numerical Methods by
bigCover of the book Colour Design by
bigCover of the book The ABCs of Learning Disabilities by
bigCover of the book A Practical Guide to the Study of Calcium in Living Cells by
bigCover of the book Functional Glycomics by
bigCover of the book Corrosion of Steel in Concrete Structures by
bigCover of the book Scallops by
bigCover of the book Thermosets and Composites by
bigCover of the book Information Security Science by
bigCover of the book Digital Signal Processing by
bigCover of the book Lipidomics and Bioactive Lipids: Specialized Analytical Methods and Lipids in Disease by
bigCover of the book Advances in Computers 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