Ebooks de Curtis Franks en PDF

1 Livre(s)
Télécharger le livre : Gentzen's Logical Calculi
Ajouter à ma liste d'envies
Gentzen's Logical Calculi
Curtis Franks
The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization techniques, and decision...

Editeur : Springer
Parution : 2026-04-05

PDF

52,74 €