Ein tableaubasierter Theorembeweiser für die intuitionistische Logik


Oliver Bittel
Bok Tysk 1991
Utgitt
München : Oldenbourg , 1991
Omfang
184 s.
Opplysninger
Avh. (doktorgrad) - Universität Karlsruhe, 1991
Emner
ISBN
3486221434

Bibliotek som har denne