 |
|
|
CATEGORICAL LOGIC AND TYPE THEORY, 141
| |
| | |
|
|
To order this title, and for more information, click here
By
B. Jacobs, Computing Science Institute, University of Nijmegen, The Netherlands
Reviews
Zentralblatt für Mathematik, vol.905
...The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost
an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive
bibliography of nearly 350 items...
The Bulletin of Symbolic Logic, Vol. 6, R.A.G. Seely
This book will be the standard reference in its field for some time to come.
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company