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 Food Processing for Increased Quality and Consumption by
bigCover of the book Chemical and Biochemical Approaches for the Study of Anesthetic Function, Part A by
bigCover of the book The Problems of Sulphur by
bigCover of the book Genomics of Cyanobacteria by
bigCover of the book Laser-Induced Breakdown Spectroscopy by
bigCover of the book The Human Auditory System by
bigCover of the book Handbook of Work-Family Integration by
bigCover of the book Progress in Nucleic Acid Research and Molecular Biology by
bigCover of the book Molecularly Imprinted Sensors by
bigCover of the book Green and Sustainable Manufacturing of Advanced Material by
bigCover of the book Projective Differential Geometry of Submanifolds by
bigCover of the book Plasma Lipids by
bigCover of the book Microbial Contamination and Food Degradation by
bigCover of the book Practical Paediatric Nutrition by
bigCover of the book The Physics of Computing 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