Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
ISBN 9788870881233
Apri la scheda del libro →
LIBRO
Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
0 visualizzazioni
SCHEDA BIBLIOGRAFICA
Dettagli del libro
- Autore/i
- Jean-Yves Girard
- Editore
- Springer Berlin Heidelberg
- Anno
- 1999
- Lingua
- en
- Pagine
- 404
- ISBN-13
- 9788354048954
- ISBN-10
- 8354048950
STESSO AUTORE
Altri libri di Jean-Yves Girard
HAI QUESTO LIBRO?
Aggiungilo alla tua libreria
Cataloga questo e tutti i libri che possiedi con Metti Libri, l'app gratuita dallo stesso team di CercoLibri.