Wroctaw: Polish Academy of Sciences
- BR SPCLEARQ FAIA-Impr-IT519
- Item
- 1979-10
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Wroctaw: Polish Academy of Sciences
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Calculs de descriptions pour les systèmes formels inconsistants
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Marek Palasinski para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
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
Remarques sur les systèmes Cn. C.R. Acad. Sc
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 Ayda Ignez Arruda
Ayda Ignez Arruda
Sur les systèmes Nfi de da Costa
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
Une sémantique pour le calcul C1=. C.R
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
International Congress on Logical Mathematic and Philosophy of Science
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
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Bernd Wegner para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Georg Henrik von Wright para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda