RT Book, Section
T1 Lógica, fundamentos, geometría y autómatas en el dominio de los topos
A1 Sols, Ignacio
PB Centro de cálculo de la Universidad Complutense de Madrid
SN 84-600-0531-3
YR 1976
FD 1976
LK https://hdl.handle.net/20.500.14352/65455
UL https://hdl.handle.net/20.500.14352/65455
NO Lawvere, W. - Tierney, M., "Toposes, Algebraic Geometry and Logic", Springer Verlag, L. N. in Math. Vol. 274 (1972)Freyd,P., "Aspects of Topoi", Bull. Austra. Math. Soc., Vol. 7Mac Lane, S., "Categories for the working Mathematician", Springer Verlag, New York, (1972)Mac Lane, S., "Internal logic in topoi and other Categories", Journal of Symbolic Logic, pp. 427 (Abstract), (1974)Wraith, G. C., "Lectures on Elementary Topoi", L. N. in Math. 445, (1975)Lawvere, F. W., "An elementary theory of category of sets", Proc. Math. Acad. Sci. USA, 52, 1964Mac Lane, S. - Birkhoff, "Algebra". McMillan, New York, 1967Sols, I. "Bon ordre dans l´objet des nombres naturels d´un topos booléen", C. r. Acad. Sci., Paris, Sér. A 281, 601-603 (1975)Artin, M.. - Grothendieck, A. - Verdier, J. L., "Theorie des Topos et Cohomologie Etale des Schémas", Seminarie de Géométrie Algébrique. Springer Verlag, L. N. in Math., Vol. 269 (1972)Sols, I., "Programming in Topoi", por aparecer en Cahiers de Topologie et Geometrie differentiele.Osius, G., "Logical and Set Thoretical tools in elementary topoi", L. N. In Math, 445 (1975)Osius, G., "Categorical Set Theory: A characterization of the Category of Sets", Journal of Pure and Applied Algebra 4, 79-119 (1974)Kock, A. - Wraith, G. "Elementary Toposes", Aarhus L. N. 30Ehrig, H. - Kiermeier, K. - Kreowski, H. - Kühnel, W., Universal Theory of Automata. B.G. Teubner, 1974Meseguer, J. - Sols, I., "Primitive and Simple Recursion for Categories and Topoi", Conferencia pronunciada en la Reunión sobre Teoría de Categorías del grupo TAC, en Chantilly, Francia (1975) (A aparecer)Eilenberg, S., "Automata Languages and Machibes", Vol. A. New York, London 1974. Academic PressLessafre, B., "Structures algebriques dans les topos elementaries" Thèse. Université de Paris VII, 1974Mulvey, C. "Intuitionistic Algebra and representations of rings", Memoirs of the American Mathematical society, Num. 148, 1974Tierney, M., "Axiomatic Sheaf Theory", C.I.M.E. 1971. Edizioni Cremonese, Roma.Godement, R. "Theorie des Faisceux". 1958. Hemann, Paris
NO NO DISPONEMOS DE COPIA DIGITALIZADA DE ESTE DOCUMENTO
DS Docta Complutense
RD 6 may 2024