BookSense
Novedades
Listas de libros
Géneros
Mark Aagaard
Libros de Mark Aagaard
1
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
2007
Si te gusta Mark Aagaard