Tous les livres numériques d'Alexander Leitsch en PDF et EPUB

2 Livre(s)
Télécharger le livre : First-Order Schemata and Inductive Proof Analysis
First-Order Schemata and Inductive Proof Analysis
David Michael Cerna , Alexander Leitsch , Anela Lolic
Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs. The book introduces schemata for first-order terms, first-order formulas and first-order inference systems. Based on general first-order schemata,...

Editeur : Birkhäuser
Parution : 2026-01-01
PDF, ePub

168,79 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Methods of Cut-Elimination
Methods of Cut-Elimination
Matthias Baaz , Alexander Leitsch
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic...

Editeur : Springer
Parution : 2011-01-07
Collection : Trends in Logic ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande