Page 177 - Textos de Matemática Vol. 40

Bibliography 165
[KS01] Reinhard Kahle and Thomas Studer. Formalizing non-termination of recursive programs. Journal of Logic and Algebraic Programming, 49(1–2):1–14, 2001.
[Luk29a] JanLukasiewicz.Elementylogikimatematycznej.WarsawUniversity, Warsaw, 1929.
[Luk29b]JanLukasiewicz.Oznaczeniuipotrzebachlogikimatematycznej. Nauka polska, 10:604–620, 1929.
[Luk58] JanLukasiewicz.Elementylogikimatematycznej.PWN,Warsaw, 2nd edition, 1958.
[Luk63] JanLukasiewicz.Elementsofmathematicalogic.PWNandPerg- amon, Oxford; Macmillan, New York, 1963. English translation of [Luk58].
[Man74] Zohar Manna. Mathematical Theory of Computation. McGraw-Hill, 1974.
[Man91] Paolo Mancosu. Generalizing classical and effective model theory in theories of operations and classes. Annals of Pure and Applied Logic, 52(3):249–308, 1991.
[Mar93] Markus Marzetta. Universes in the theory of types and names. In E. B¨orger et al., editors, Computer Science Logic CSL ’92, volume 702 of Lecture Notes in Computer Science, pages 340–351. Springer, 1993.
[Mar94] Markus Marzetta. Predicative Theories of Types and Names. PhD thesis, Institut fu¨r Informatik und angewandte Mathematik, Univer- sit¨at Bern, 1994.
[Min] Pierluigi Minari. Axioms for universes. Handwritten notes.
[Min99] Pierluigi Minari. Theories of types and names with positive stratified
comprehension. Studia Logica, 62(2):215–242, 1999.
[Mir17a] Dmitry Mirimanoff. Les antinomies de Russell et de Burali-Forti et le probleme fondamental de la theorie des ensembles. L’enseignment mathematique, 19:37–52, 1917.
[Mir17b] Dmitry Mirimanoff. Remarques sur la theorie des ensembles. L’enseignment mathematique, 19:209–217, 1917.
[Mit96] John C. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
[ML84] Per Martin-L¨of. Intuitionistic Type Theory. Bibliopolis, 1984.