Model Theory and Topoi [electronic resource] : A Collection of Lectures by Various Authors / edited by F. William Lawvere, Christian Maurer, Gavin C. Wraith.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9783540374954
- A Collection of Lectures by Variuos Authors
- 514 23
- QA611-614.97
to Part I -- Abstract Horn theories -- Completeness theorem for logical categories -- Logical categories, semantical categories and topoi -- Internal categories and classification theorems -- Lectures on elementary topoi -- Some topos theoretic concepts of finiteness -- Universes in topoi -- Logical and set theoretical tools in elementary topoi -- A note on Kripke-Joyal semantics for the internal language of topoi.
There are no comments on this title.