ISBN: 9783031211133 - simple type theory: a practical logic for expressing and reasoning about mathematical ideas (8 risultati)

Perfeziona la tua ricerca

  • Libri (8)

a

Fascia di prezzo personalizzata (EUR)

a