Basic proof theory
- Utgiven: 1996
- ISBN: 9780521572231
- Sidor: 343 st
- Förlag: Cambridge University Press
- Format: Inbunden
- Språk: Engelska
Om boken
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Åtkomstkoder och digitalt tilläggsmaterial garanteras inte med begagnade böcker
Mer om Basic proof theory (1996)
1996 släpptes boken Basic proof theory skriven av Anne Sjerp Troelstra, Helmut Schwichtenberg. Den är skriven på engelska och består av 343 sidor. Förlaget bakom boken är Cambridge University Press.
Köp boken Basic proof theory på Studentapan och spara pengar.
Referera till Basic proof theory
Harvard
Troelstra, A. S. & Schwichtenberg, H. (1996). Basic proof theory. Cambridge University Press.
Oxford
Troelstra, Anne Sjerp & Schwichtenberg, Helmut, Basic proof theory (Cambridge University Press, 1996).
APA
Troelstra, A. S., & Schwichtenberg, H. (1996). Basic proof theory. Cambridge University Press.
Vancouver
Troelstra AS, Schwichtenberg H. Basic proof theory. Cambridge University Press; 1996.
citeproc-js implements the Citation Style Language. (c) Frank Bennett. Licenser och källkod.
