Sisteme logice si forme normale în calculul propozitional bivalent


Eugen Mihăilescu
Bok Rumensk 1966

Detaljer

Bibliotek som har denne