First order categorial logic: model-theoretical methods in theory of topoi and related categories

Salvato in:

Dettagli Bibliografici
Autori principali:	Makkai, Michael (autor), Reyes, Gonzalo E (Autore)
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Berlín Sringer-Verlag 1977
Serie:	Lecture Notes in Mathematics, 611
Soggetti:	TEORIA DE LOS MODELOS Modelos matemáticos Lógica matemática
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC


LEADER	00000nam a2200000 a 4500
001	UCQ8061
003	CL-VaPUC
008	981127e19770000GW \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.8 \|b MAK \|2 21
100			\|a Makkai, Michael \|e autor \|9 421905
700	0		\|a Reyes, Gonzalo E \|e author \|9 421906
245	1	0	\|a First order categorial logic: model-theoretical methods in theory of topoi and related categories
300			\|a 301 p
942			\|c BK
945			\|d 19981127 00:00:00 \|a crobeson
260			\|a Berlín \|b Sringer-Verlag \|c 1977
650		7	\|a TEORIA DE LOS MODELOS \|2 CL-VaPUC \|9 270393
650		0	\|a Modelos matemáticos \|9 259437
650		0	\|a Lógica matemática \|9 262442
583			\|a last modification \|c 19981127 00:00:00 \|k Rodrigo Vera
490	0		\|a Lecture Notes in Mathematics, 611
999			\|c 277422 \|d 277420
952			\|0 0 \|1 0 \|4 0 \|6 511_800000000000000_MAK_1977 \|7 0 \|8 A \|9 315335 \|a BIBMAT \|b BIBMAT \|d 2019-11-20 \|i 1496743 \|o 511.8 MAK 1977 \|p 1496743 \|r 2025-01-07 \|w 2019-11-20 \|y BK \|k MAT