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
|
Utgitt | München : Oldenbourg , 1991
|
---|---|
Omfang | 184 s.
|
Opplysninger | Avh. (doktorgrad) - Universität Karlsruhe, 1991
|
Emner | |
ISBN | 3486221434
|