Sur les systèmes Nfi de da Costa
- BR SPCLEARQ FAIA-Impr-IT490
- Item
- 1970-04-27
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
3 resultados com objetos digitais Exibir resultados com objetos digitais
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
Sur une hiérarchies de systèmes formels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
The set of quantifiers of an atomic Boolean algebra
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Un principio di riflessione nella teoria delle classi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
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
Vasil’év and the development of Many-valued logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Wroctaw: Polish Academy of Sciences
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda