TY  - GEN
AU  - Porte, Jean
TI  - Recherches sur la theorie generale des systemes formels et sur les systemes connectifs
U1  - 510.63 
PY  - 1965///
CY  - Paris : Gauthier-Villars ; Louvain
PB  - E. Nauwelaerts
KW  - Sisteme logice clasice
KW  - Sisteme conective
KW  - Logica matematica
N1  - Contine bibliogr. si index
ER  -