Handbook of proof theory / edited by Samuel R. Buss

• Record Nr.: UNINA990009504270403321
• Pubbl/distr/stampa: Amsterdam : Elsevier, 1998
• ISBN: 0-444-89840-9
• Descrizione fisica: 811 p. ; 24 cm
• Collana: Studies in logic and the foundations of mathematics ; 137
• Disciplina: 511.3
• Locazione: MA1
• Collocazione: C-30-(137
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia