Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Computation and proof theory

Computation and proof theory Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 - Part II

Part 2.: Computation and Proof Theory

Computation and proof theory proceedings of the logic colloquium held in Aachen, July 18–23, 1983, part II

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Computation and proof theory
ID: 262578