First order categorical logic : Model-theoretical methods in the theory of Topoi and related categories /

Bibliographic Details
Main Author: Makkai, Michael
Other Authors: Reyes, Gonzalo E.
Format: Book
Language:English
Published: Berlin : Springer, 1977.
Series:Lecture notes in mathematics ; LNM ; v. 611 v. 611
Subjects:

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20160908121801.0
008 131205s1977 gw ||||| |||| 00| 0 eng d
020 |a 0-387-08439-8 
020 |a 3-540-08439-8 
100 1 |9 10699  |a Makkai, Michael 
245 1 0 |a First order categorical logic :   |b Model-theoretical methods in the theory of Topoi and related categories /   |c Michael Makkai, Gonzalo E. Reyes. 
260 |a Berlin :   |b Springer,   |c 1977. 
300 |a 301 p. 
650 4 |a lógica matemática y fundamentos 
700 1 |9 14280  |a Reyes, Gonzalo E. 
942 |c LIBRO  |2   
490 |a Lecture notes in mathematics ;   |v v. 611  |a LNM ;  |v v. 611 
952 |0 0  |1 0  |2    |4 0  |6 M_LNM_V__611_000000000000000  |7 0  |9 564  |a MMA  |b MMA  |c LN  |d 2008-06-09  |l 0  |o M LNM v. 611   |p 06887  |r 2008-06-09 00:00:00  |y LIBRO 
999 |c 516  |d 516