語学+参考書 Proofs and Types (Cambridge Tracts in Theoretical Computer Science Series Number 7) Amazon | Proofs and Types (Cambridge Tracts in Theoreticalの詳細情報
Amazon | Proofs and Types (Cambridge Tracts in Theoretical。Basic Proof Theory (Cambridge Tracts in Theoretical Computer。Cambridge Tracts in Theoretical Computer Science。 Nominal Sets: Names and Symmetry in Computer Science (Cambridge