- BR SPCLEARQ CJCVM-C-Cp-IT73
- Item
- 1983-09-14
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
Carta de Manfred Pilkuhn a JCVM
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
Carta manuscrita de [Michel] Voos a JCVM
Parte de José Carlos Valladão de Mattos
Sem título
Carta de North Holland Pub.Co.
Parte de Ayda Ignez Arruda
Carta de North Holland Pub.Co.
Parte de Ayda Ignez Arruda
Carta de Alexandre A. Martins Rodrigues para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de J.C. Kuipers para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de J.C. Kuipers para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Kazem Sadegh-Zadeh para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Cartão de Natal de Vladimir A. Smirnov para AIA
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 certaines hiérarchies de calculs propositionnels
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 Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
Parte de José Carlos Valladão de Mattos
Sem título
Cartão de P. Klíma a JCVM e R. C. Leite
Parte de José Carlos Valladão de Mattos
Sem título
Cartão de G. Jungk a JCVM, W.O.N. Guimarães e R.C.C. Leite
Parte de José Carlos Valladão de Mattos
Sem título
Carta de Marek Palasinski para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Paolo Bottura para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Paolo Bottura para AIA
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 une hiérarchies de systèmes formels
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
Logique sans igalité et (k,p)-quasivalence
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Lukasiewicz and the Origins of Many-Valued Logic
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