Algebra of Proofs
- 1st Edition, Volume 88 - January 1, 1978
- Imprint: Elsevier Science
- Author: Lev D. Beklemishev
- Language: English
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 9 5 4 9 7 - 4
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteStudents and researchers in Logic (Mathematics, Computer Science, Philosophy).
- Edition: 1
- Volume: 88
- Published: January 1, 1978
- Imprint: Elsevier Science
- No. of pages: 296
- Language: English
- eBook ISBN: 9780080954974
LB
Lev D. Beklemishev
Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.Read Algebra of Proofs on ScienceDirect