Streicher, T.,
Semantics of Type Theory : Correctness, Completeness and Independence Results. Softcover reprint of the original 1st ed. 1991.
(Progress in Theoretical Computer Science) 299 pp. (Springer-Verlag New York Inc., US) <M25-18204>
・ISBN 978-1-4612-6757-7 paper
¥21,034.-(税込)