« 前にもどる

近くの図書館から探してみよう

カーリルは全国の図書館から本を検索できるサービスです

Combinators, λ-terms and proof theory

もっともっと探す

+もっと

詳しい情報

出版社: D. Reidel

ISBN-10: 9027703051  ISBN-13: 9789027703057