Muutke küpsiste eelistusi

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas [Pehme köide]

  • Formaat: Paperback / softback, 312 pages, kõrgus x laius x paksus: 234x156x17 mm, kaal: 440 g, Illustrations
  • Ilmumisaeg: 02-Jan-2023
  • Kirjastus: Birkhauser
  • ISBN-10: 3031211138
  • ISBN-13: 9783031211133
  • Formaat: Paperback / softback, 312 pages, kõrgus x laius x paksus: 234x156x17 mm, kaal: 440 g, Illustrations
  • Ilmumisaeg: 02-Jan-2023
  • Kirjastus: Birkhauser
  • ISBN-10: 3031211138
  • ISBN-13: 9783031211133