Wroctaw: Polish Academy of Sciences
- BR SPCLEARQ FAIA-Impr-IT519
- Item
- 1979-10
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
3 resultados com objetos digitais Exibir resultados com objetos digitais
Wroctaw: Polish Academy of Sciences
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Vasil’év and the development of Many-valued logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1=. C.R
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Un principio di riflessione nella teoria delle classi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
The set of quantifiers of an atomic Boolean algebra
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
Sur une hiérarchies de systèmes formels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur un Théorème de Hilbert et Bernays
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur les systèmes Nfi de da Costa
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certains hiérarchies de calculs de prédicats
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certains algèbres de classes non classiques
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de José Carlos Valladão de Mattos
Sem título
Remarques sur les systèmes Cn. C.R. Acad. Sc
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Lukasiewicz and the Origins of Many-Valued Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logique sans igalité et (k,p)-quasivalence
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Le schéma de la séparation dans les systèmes NFn
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
La mathématique classiques dans Nfw
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
Parte de Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
International Congress on Logical Mathematic and Philosophy of Science
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Electron-Hole Drop Velocities as a Probe in Germanium
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
Depoimento de José Leite Lopes, 1977
Parte de Projeto Memória Científica Nacional
Sem título
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda