top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Computation and proof theory
ID:
911295
Creatori:
(51951) Borger, Egon
...
Persona
Opera