Sisteme logice si forme normale in calculul propozitional bivalent
Mihailescu, Eugen
Sisteme logice si forme normale in calculul propozitional bivalent de Eugen Mihailescu - Bucuresti Editura Academiei 1966 - 378 p 24 cm
Contine bibliogr. - Inaintea tit.: Academia R.S.R., Centrul de Logica
Logica matematica
Sisteme logice
Logica propozitionala
Calcul propozitional
Sisteme de echivalenta
Problema deciderii in logica clasica
510.6 510.633
Sisteme logice si forme normale in calculul propozitional bivalent de Eugen Mihailescu - Bucuresti Editura Academiei 1966 - 378 p 24 cm
Contine bibliogr. - Inaintea tit.: Academia R.S.R., Centrul de Logica
Logica matematica
Sisteme logice
Logica propozitionala
Calcul propozitional
Sisteme de echivalenta
Problema deciderii in logica clasica
510.6 510.633