CINECA IRIS Institutional Research Information System

MR3445957 Review of the BOOK by Nederpelt, Rob; Geuvers, Herman Type theory and formal proof. An introduction. With a foreword by Henk Barendregt. Cambridge University Press, Cambridge, 2014. xxv+436 pp. ISBN: 978-1-107-03650-5

PAOLINI, LUCA LUIGI
2016-01-01
2016
1
3
http://www.ams.org/mathscinet/search/publdoc.html?pg1=RVRI&pg3=authreviews&s1=660755&sort=Newest&vfpref=html&r=5&mx-pid=3445957
Luca Paolini
03D-Recensione in Rivista
File in questo prodotto:
File Dimensione Formato  
2014-MR3445957.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 121.53 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
121.53 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1636231
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact