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
|
Utgitt | Berlin : Springer , 1971
|
---|---|
Omfang | vii, 290 s.
|
Emner | |
ISBN | 038705541X. - 354005541X
|