First-Order Schemata and Inductive Proof Analysis

First-Order Schemata and Inductive Proof Analysis 著者: Alexander Leitsch; David Michael Cerna; Anela Lolic 出版 Birkhäuser. 以下のデジタルおよびeTextbook ISBNs: First-Order Schemata and Inductive Proof Analysis : 9783032057419, 3032057418 および 印刷版のISBNは 9783032057402, 303205740X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

First-Order Schemata and Inductive Proof Analysis 著者: Alexander Leitsch; David Michael Cerna; Anela Lolic 出版 Birkhäuser. 以下のデジタルおよびeTextbook ISBNs: First-Order Schemata and Inductive Proof Analysis : 9783032057419, 3032057418 および 印刷版のISBNは 9783032057402, 303205740X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。