Reihe Progress in Theoretical Computer ScienceT. Streicher × Semantics of Type TheoryCorrectness, Completeness and Independence ResultsT. StreicherBirkhäuser BostoneBook201290,94 € Semantics of Type TheoryCorrectness, Completeness and Independence ResultsT. StreicherBirkhäuser BostonSoftcover201290,94 €
