Proof theory and intuitionistic systems


Bruno Scarpellini
Bok Språk ikke angitt 1971
Utgitt
Berlin : Springer , 1971
Omfang
vii, 290 s.
Emner
ISBN
038705541X. - 354005541X

Bibliotek som har denne