Showing 368 results
Archival description16 results with digital objects Show results with digital objects
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logical matrices strongly adequate for structural setential calculi
Logical matrices strongly adequate for structural setential calculi
Les logiques nouvelles et le champ de leur application
Les logiques nouvelles et le champ de leur application
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Sobre A Teoria dos Tipos
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Alfred Tarski - Parte 2
Alfred Tarski - Parte 1
Results 361 to 368 of 368