1943 resultados diretamente relacionados Excluir termos específicos
A CLN traz documentos esparsos, mas rico às pesquisas em História das Ciências e da Matemática, como, por exemplo, a cópia do manuscrito, de sua autoria, intitulado An Outline of Probability, de 1985 e o seu depoimento quando do recebimento do título de Professor Emérito, concedido pela Unicamp, em 1989.
Leopoldo Nachbin
Itala Maria Loffredo D’Ottaviano
Recortes de jornais, cartas, folhetos e recibos.
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Observações sobre um sistema sem a regra do modus ponens. S.l., S.d. Ass.: Ayda Ignez Arruda. 11p. ms.
Ayda Ignez Arruda