ricerca
avanzata

Twenty Five Years of Constructive Type Theory

Un libro in lingua di Sambin Giovanni edito da BERTRAMS PRINT ON DEMAND, 1998

  • € 47,10
  • Il prezzo è variabile in funzione del cambio della valuta d’origine

Informazioni bibliografiche

  • Titolo del Libro in lingua: Twenty Five Years of Constructive Type Theory
  • AutoreSambin Giovanni
  • Editore: BERTRAMS PRINT ON DEMAND
  • Data di Pubblicazione: 17 Agosto '98
  • Genere: Lingua Inglese
  • ISBN-10: 0198501277
  • EAN-13: 9780198501275