LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	514
Title	Model Theory and Topoi ([EBook] :) : A Collection of Lectures by Various Authors / / edited by F. William Lawvere, Christian Maurer, Gavin C. Wraith.
Added Personal Name	Lawvere, F. William editor.
	Maurer, Christian editor.
	Wraith, Gavin C. editor.
Other name(s)	SpringerLink (Online service)
Publication	Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1975.
Physical Details	VI, 358 p. : online resource.
Series	Lecture Notes in Mathematics 0075-8434 ; ; 445
ISBN	9783540374954
Contents note	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.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/BFb0061290
Links to Related Works	Subject References: Mathematics . Topology . Authors: Lawvere, F. William . Maurer, Christian . Wraith, Gavin C. . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 514 .

Catalogue Display