Showing 100 results

Archival description
Europa English
Print preview View:
Descending

3 results with digital objects Show results with digital objects

Carta de Kazem Sadegh-Zadeh para AIA
Carta de Kazem Sadegh-Zadeh para AIA
Cartão de Natal de Vladimir A. Smirnov para AIA
Cartão de Natal de Vladimir A. Smirnov para AIA
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Sur certains hiérarchies de calculs de prédicats
Sur certains hiérarchies de calculs de prédicats
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Wroctaw: Polish Academy of Sciences
Wroctaw: Polish Academy of Sciences
Calculs de descriptions pour les systèmes formels inconsistants
Calculs de descriptions pour les systèmes formels inconsistants
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
rtão de H. Geiler a JCVM
rtão de H. Geiler a JCVM
Cartão de P. Klíma a JCVM e R. C. Leite
Cartão de P. Klíma a JCVM e R. C. Leite
Cartão de G. Jungk a JCVM, W.O.N. Guimarães e R.C.C. Leite
Cartão de G. Jungk a JCVM, W.O.N. Guimarães e R.C.C. Leite
Carta de M. Dickmann para AIA
Carta de M. Dickmann para AIA
Carta de Marek Palasinski para AIA
Carta de Marek Palasinski para AIA
Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent
Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent
Le schéma de la séparation dans les systèmes NFn
Le schéma de la séparation dans les systèmes NFn
Remarques sur les systèmes Cn. C.R. Acad. Sc
Remarques sur les systèmes Cn. C.R. Acad. Sc
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur le syst¨¨me NF¦Ø
Sur le syst¨¨me NF¦Ø
Sur les systèmes Nfi de da Costa
Sur les systèmes Nfi de da Costa
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Remarques sur le système NF1
Remarques sur le système NF1
International Congress on Logical Mathematic and Philosophy of Science
International Congress on Logical Mathematic and Philosophy of Science
Vasil’év and the development of Many-valued logic
Vasil’év and the development of Many-valued logic
Carta de Ernest Göbel a JCVM
Carta de Ernest Göbel a JCVM
Telex de Ernest Göbel a JCVM
Telex de Ernest Göbel a JCVM
Carta manuscrita de [Michel] Voos a JCVM
Carta manuscrita de [Michel] Voos a JCVM
Carta manuscrita de [Michel] Voos a JCVM
Carta manuscrita de [Michel] Voos a JCVM
Carta manuscrita de [Michel] Voos a JCVM
Carta manuscrita de [Michel] Voos a JCVM
Results 61 to 90 of 100