David Michael Cerna – författare

Visar alla böcker från författaren David Michael Cerna. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   First-Order Schemata and Inductive Proof Analysis

   Av Alexander Leitsch, David Michael Cerna m. fl.

   Inbunden, 2026

   1749 kr

   Lägg i varukorg

   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, the …

2. 

   First-Order Schemata and Inductive Proof Analysis

   Av Anela Lolic, David Michael Cerna m. fl.

   E-bok, 2026

   2274 kr

   Lägg i varukorg

   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, the …