---

＜電子ブック＞
Model Theory and Topoi / edited by F.W. Lawvere, C. Maurer, G.C. Wraith
(Lecture Notes in Mathematics. ISSN:16179692 ; 445)

版	1st ed. 1975.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1975
大きさ	VI, 358 p : online resource
著者標目	Lawvere, F.W editor Maurer, C editor Wraith, G.C editor SpringerLink (Online service)
件　名	LCSH:Topology FREE:Topology
一般注記	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 HTTP:URL=https://doi.org/10.1007/BFb0061290

 類似資料