aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
Impossibile aggiungere al carrello
Puoi avere soltanto 50 titoli nel carrello per il checkout.
Riprova più tardi
Riprova più tardi
Rimozione dalla Lista desideri non riuscita.
Riprova più tardi
Non è stato possibile aggiungere il titolo alla Libreria
Per favore riprova
Non è stato possibile seguire il Podcast
Per favore riprova
Esecuzione del comando Non seguire più non riuscita
aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
-
Letto da:
-
Di:
A proposito di questo titolo
Ancora nessuna recensione