- BR SPCLEARQ AIA-Cv-2
- Item
- 1979-11-10
Parte de Ayda Ignez Arruda
Curriculum vitae, em inglês, de Lech Dubikajtis. Katowice, 10 nov. 1979. Ass.: Lech Dubikajtis. 2p. dat. cópia.
Ayda Ignez Arruda
- Todos
- III Simpósio Latino-Americano de Lógica Matermática, 3 resultados
- Silogística de Vasil'év, 2 resultados
- IMECC, 2 resultados
- Lógica de Vasil'év, 1 resultados
- Teorias de primeira ordem de Vasil’év, 1 resultados
- Teoremas em teorias de primeira ordem de Vasil'év, 1 resultados
- Teoremas de completude e consistência, 1 resultados
- Teoria de modelos, 1 resultados
- Lógica da Vaguidade, 1 resultados
- Istoé, 1 resultados