Tous les livres numériques de David Michael Cerna en PDF et EPUB

1 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