Structural proof theory


Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
Bok Engelsk 2001
Utgitt
Cambridge : Cambridge University Press , c2001
Omfang
XVII, 256 s.
Emner
ISBN
0521793076

Bibliotek som har denne