DaftarIsitemplate
 
Call Number
Title
A Proof Theory for Generic Judgments, page 749-783
Author
Publisher
New York: The Association for Computing Machinery
Subject
Location