***
An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs, Paperback
bfbbc5c6-eedd-5c7d-b674-86d80593de24
Vândut si livrat de:
Elefant
Cost livrare: va fi calculat in pagina de comanda.
223,99 lei
+224 puncte
|
|---|
room
Livrare gratuită
în Pickup Point de la 49.99 lei
swap_vertical_circle
Retur gratuit
Conform Termeni și condiții
assignment_turned_in
Verificare colet
Înainte de plată TEST
Descriere
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
mai multmai putin more_horiz
- Publisher: Oxford University Press
- Author(s): Richard (Professor of Philosophy, Professor of Philosophy, University of Calgary) Zach
- Number of pages: 432
- Publication date: 2021
- Dimensions: 157 x 233 x 26
- Cover type: Paperback / softback
Detalii
- Autor
- ***
- Editura
- Oxford University Press
- Anul aparitiei
- 2.021
- Luna aparitiei
- 8
- Tip coperta
- Brosata
- Numar de pagini
- 432
- Format
- 157 x 233
- ISBN
- 019289594X
- Cod de bare
- 9780192895943
- Limba
- Engleza