| Cyrus F. Nourani - Mathematics - 2016 - 302 pages
This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories ... | |
| A.S. Troelstra, D. van Dalen - Mathematics - 2014 - 129 pages
Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic ... | |
| B. Jacobs - Computers - 2001 - 784 pages
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its ... | |
| P.T. Johnstone - Mathematics - 2014 - 400 pages
Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal ... | |
| |