Craig's interpolation theorem for the intuitionistic logic of constant domains


Herman Ruge Jervell
Bok Engelsk 1971
Utgitt
Oslo , 1971
Omfang
10 bl.
Opplysninger
Stensiltrykk
Dewey
164
ISBN
8255300562

Bibliotek som har denne