Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Full Title: Studies in proof theory)
Results:1items
Proof theory and logical complexity / Jean-Yves Girard.
1. - Napoli : Bibliopolis , c1987-. - Amsterdam : Elsevier Science , c1987-. - (Studies in proof theory : monographs ; 1)
Books