Ricerca Veloce:

Ricerca Avanzata

Natural Deduction: A Proof-Theoretical Study

Natural Deduction: A Proof-Theoretical Study

di Dag Prawitz

Prezzo: € 8.11
Nostro prezzo: € 6.89
Risparmi: € 1.22 (15%)

Spedizione gratuita

Promozione: sopra i 19 euro la spedizione è gratuita! (Leggi i dettagli)

Normalmente disponibile in 25/30 giorni lavorativi (difficile reperibilità)

Aggiungi al carrello

Spedizione gratuita sopra i 19€

Condividi

Descrizione

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.

Dettagli del libro

Titolo: Natural Deduction: A Proof-Theoretical Study
Autore: Dag Prawitz
Editore: Dover Publications
Data di Pubblicazione: February 2006
ISBN: 0486446557
ISBN-13: 9780486446554
Pagine: 00113
Reparto: General

Acquistali insieme:

Gli utenti che comprano Natural Deduction: A Proof-Theoretical Study acquistano anche Proof. La prova Regia di John Madden € 12.49

Natural Deduction: A Proof-Theoretical Study

aggiungi

Proof. La prova

aggiungi

€ 19.38

Aggiungi entambi i prodotti al carrello

Altri utenti hanno acquistato anche:

Proof. La prova
Regia di John Madden
€ 12.49
La mappa della strategia aziendale
di Antonio Borello - McGraw-Hill Companies
€ 21.00
Gestire il tempo
di Kate Keenan - Edicart
€ 3.00 € 1.05
Modal Logic: An Introduction
di Brian F. Chellas - Cambridge University Press
€ 44.28
Computability: An Introduction to Recursive Function Theory
di Nigel J. Cutland - Cambridge University Press
€ 48.59

Recensioni degli utenti

recensione_popup

Scrivi una nuova recensione su Natural Deduction: A Proof-Theoretical Study e condividi la tua opinione con altri utenti.