TOPOS THEORY. WHY? - GAGO COUSO Felipe.

Autor: GAGO COUSO Felipe.

ISBN: 8471913925

Universidad de Santiago de Compostela. Santiago de Compostela 1986 23 x 16 cm., 78 pag. "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". Rustica; impecable estado de conservacion. CIENCIAS MATEMATICAS . Ejemplares disponibles: 2