Mostrando 39 resultados

Descrição arquivística
Ayda Ignez Arruda Europa Português do Brasil
Visualizar impressão Visualizar:
Remarques sur les systèmes Cn. C.R. Acad. Sc
Remarques sur les systèmes Cn. C.R. Acad. Sc
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur le syst¨¨me NF¦Ø
Sur le syst¨¨me NF¦Ø
Sur les systèmes Nfi de da Costa
Sur les systèmes Nfi de da Costa
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Remarques sur le système NF1
Remarques sur le système NF1
International Congress on Logical Mathematic and Philosophy of Science
International Congress on Logical Mathematic and Philosophy of Science
Vasil’év and the development of Many-valued logic
Vasil’év and the development of Many-valued logic
Resultados 31 até 39 de 39