Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 - Part II / Edited by M.M. Richter, E. Borger, W. Obe rschelp, B. Schinzel and W. Thomas.

• Record Nr.: UNINA990001211710403321
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, 1984
• Collana: Lecture Notes in Mathematics ; 1104
• Locazione: MA1
• Collocazione: C-20-(1104
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia