Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Girard Jean-Yves)
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