***

An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs, Paperback

ID Produs: bfbbc5c6-eedd-5c7d-b674-86d80593de24

Vândut si livrat de: Elefant

Cost livrare: va fi calculat in pagina de comanda.

Detalii

223,99 lei +224 puncte

Puncte bonus: +224 puncte
Estimare livrare:

Livrare gratuită

la comenzi de peste 99 lei

Retur gratuit

Conform Termeni și condiții

Produse autentice

Parteneriat cu producători autorizați

Descriere Detalii

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.

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

mai multmai putin

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

mai multmai putin

Recenzii

Am aprecia părerea ta! Evaluați acest produs

Nu există comentarii de la alți utilizatori.

Contul Meu

***

An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs, Paperback

Livrare gratuită

Retur gratuit

Produse autentice

RECENT VIZUALIZATE