Handbook of proof theory


edited by Samuel R. Buss
Bok Engelsk 1998 · Håndbøker
Utgitt
New York : Elsevier , 1998
Omfang
811 s.
Emner
Sjanger
ISBN
0444898409

Bibliotek som har denne