Proof theory and logical complexity

Main Author: Girard, Jean-Yves (Author)
Subjects:

KOLEKSI TERBUKA

Call Number: QA 9.54 .G5 1987
Accession Item Category Format Status Notes
1000399728 Open Shelf Book AVAILABLE vol.I