Encontro Nacional de Lógica Matemática, 7 a 13 de fevereiro, 1974.
Contributors: Brazil. Ministério da Educação e Cultura.; Universidade Federal Fluminense.
Publisher: Ministério da Educação e Cultura, Universidade Federal Fluminense
Published: 1974
Place of publication: [Niterói]
Language: por
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references.
Cover title.
Table of contents: title: [1] Guitart, R. Categorias cantorianas.; title: [2] Fontana Júnior, P. Introdução à lógica das perguntas.; title: [3] Teixeira, M. T. Algumas idéias sobre lógica e fundamentos da matemática.; title: [4] Barbosa, J. E. F. Sobre as sistematizações universais.; title: [5] Barbosa, J. E. F. Sobre uma teoria dos inteiros e ordinais primitivos.; title: [6] Barbosa, J. E. F. Sobre uma hierarquia transfinita de caliortografias e morfologias universais.; title: [7] Lorenzen, P. O fundamento humano da matemática.; title: [8] Lorenzen, P. Método construtivo e axiomático.; title: [9] Lorenzen, P. Ortolinguas semanticamente normalizadas.; title: [10] Lorenzen, P. Matemática construtiva como um problema filosófico.