AKTUELLE PARTNERANGEBOTE

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides, Band 36)

Name: Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides, Band 36)
Brand: Giovanni Sambin
SKU: 10771632

Brand : Oxford University Press, USA, Binding : hardcover, Edition : 1, Label : Twenty-Five Years of Constructive Type Theory : Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides, Band 36), NumberOfItems : 1, medium : hardcover, numberOfPages : 292, publicationDate : 1998-12-10, releaseDate : 1998-12-10, authors : Giovanni Sambin, Jan Smith, languages : english, ISBN : 0198501277

1 Angebote · ab 135,70 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides, Band 36)