VV.AA.MareMagnum
489 results
1967
1996Colaboradores: Manuel Muñoz Márquez, Eduardo Conde Sánchez y Emilio Carrizosa Priego.
1986"BROWER AND INTUTIONISM". "RUSSELL'S PRINCIPLE OF VICIOUS CIRCLE". "PREDICATIVE TYPE THEORY". " ZERMELO-FRAENKEL SET THEORY". "VON NEWMAN-BERNAYS-GÖDEL SYSTEM". "CATEGORY THEORY". "THE FIRST-ORDER LANGUAGE OF CATEGORIES". "SHEAVES AND CATEGORIES". "ELEMENTARY TOPOSES AS UNIVERSES OF VARIABLE SETS". "LOGIC IN TOPOS: INTERNAL INTERPRETATION". "TOPOSES AND THEORIES". "SELECTED BIBLIOGRAPHY".
196655 láminas intercaladas y númerosas fórmulas matemáticas.
19982ª edicion.
1994Con ejercicios resueltos.