Jump to main content

yr 〜
yr

Search results 9

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Paper図書
edited by Xavier Caicedo, Carlos H. MontenegroMarcel Dekkerc1999
Other Libraries in Japan
  • Author HeadingLatin-American Symposium on Mathematical Logic Caicedo, Xavier Montenegro, C...

Proceedings of the IX Latin American Symposium on Mathematical Logic : INMABB-CONICET, 1993-1994, Universidad Nacional del Sur, Bahia Blanca, Argentina

Proceedings of the IX Latin American Symposium on Mathematical Logic : INMABB-CONICET, 1993-1994, Universidad Nacional del Sur, Bahia Blanca, Argentina
Paper図書
INMABB : CONICET1993-1994
Other Libraries in Japan
  • Author HeadingLatin-American Symposium on Mathematical Logic

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco. (Lecture notes in mathematics ; 1130)

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco. (Lecture notes in mathematics ; 1130)
Paper図書
Springer-Verlagc1985.<M15-A2979>
National Diet LibraryOther Libraries in Japan
  • Author HeadingLatin-American Symposium on Mathematical Logic (6th : 1983 : Caracas, Venezu...

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
Paper図書
Walter A. Carnielli and Luiz Paulo de Alcantara, editorsAmerican Mathematical Societyc1988
Other Libraries in Japan
  • Author Heading...Symbolic Logic Latin-American Symposium on Mathematical Logic

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 : gw : us

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 : gw : us
Paper図書
edited by C.A. Di PriscoSpringer-Verlagc1985
Other Libraries in Japan
  • Author HeadingLatin-American Symposium on Mathematical Logic Di Prisco, C. A. Asociación V...

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa. (Studies in logic and the foundations of mathematics ; v. 99)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa. (Studies in logic and the foundations of mathematics ; v. 99)
Paper図書
North-Holland Pub. Co.1980.<MA41-156>
National Diet Library
  • Author HeadingLatin-American Symposium on Mathematical Logic, 4th, Santiago de Chile, 1978...

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. (Studies in logic and the foundations of mathematics ; v. 89)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. (Studies in logic and the foundations of mathematics ; v. 89)
Paper図書
North-Holland Pub. Co.1977.<MA41-116>
National Diet Library
  • Author HeadingLatin-American Symposium on Mathematical Logic, 3d, State University of Camp...

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Paper図書
edited by A.I. Arruda, R. Chuaqui, N.C.A. da CostaNorth-Holland Pub. Co.1980
Other Libraries in Japan
  • Author HeadingLatin-American Symposium on Mathematical Logic Arruda, Ayda I. Costa, Newton...

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Paper図書
edited by A.I. Arruda, N.C.A. da Costa, R. ChuaquiNorth-Holland Pub. Co.1977
Other Libraries in Japan
  • Author HeadingLatin-American Symposium on Mathematical Logic Arruda, Ayda I. Costa, Newton...

Reached to the end of result.

RSS