ILLC prepublication series
Institute for Logic, Language and Computation, Universiteit van Amsterdam
A.S. Troelstra (ed.)
Institute for Logic, Language and Computation , University of Amsterdam 1993 2nd corrected ed. ILLC prepublication series X-93-05
所蔵館1館
Institute for Logic, Language and Computation 1993 2nd corrected ed. ILLC prepublication series X-93-05