Du er ikke logget ind
Beskrivelse
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968