この本をレビュー

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

総合評価

search