Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
ISBN 9783540489597
Apri la scheda del libro →
LIBRO
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
0 visualizzazioni
Book by Girard, Jean-Yves
SCHEDA BIBLIOGRAFICA
Dettagli del libro
- Autore/i
- Girard, Jean-Yves
- Editore
- Humanities Pr
- Anno
- 1987
- Lingua
- it
- Rilegatura
- Hardcover
- Pagine
- 503
- ISBN-13
- 9788870881233
- ISBN-10
- 8870881237
- Soggetti
- PROOF THEORY
STESSO AUTORE
Altri libri di Girard, Jean-Yves
Le Point Aveugle. Volume 1 Cours de Logique à Vers la Perfection
ISBN 9782705686123
Apri la scheda del libro →
Le Point Aveugle. Volume 2 Cours de Logique à Vers l'Imperfection
ISBN 9782705686130
Apri la scheda del libro →
Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
ISBN 9788354048954
Apri la scheda del libro →
Le point aveugle cours de logique
ISBN 9782705666347
Apri la scheda del libro →
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.