ENGLISH

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

By Gonzalo E. Reyes , Michael Makkai

Book information

Publisher
Springer-Verlag
Year
1977
ISBN
9780387084398, 0-387-08439-8
LCC
QA3 .L28 no. 611,QA9.7 .L28 no. 611
Open Library ID
OL4545465M
Language
english
Format
PDF
Filesize
13 MB (13341299 bytes)
Series
Lecture notes in mathematics ; 611
Edition
1st
Pages
308\308
Topic
Mathematics Logic
Library
mexmat
Time added
2009-07-20 03:45:11

Similar books