Proof Theory and Intuitionistic Systems
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Bruno Scarpellini
Themen in »Proof Theory and Intuitionistic Systems«
Beweistheorie Finite Intuitionistische Mathematik Transfinite induction calculus function proof proof theory well-ordering principle
Stimmen zu »Proof Theory and Intuitionistic Systems«
Details
ISBN: 9783540368755
Verlag: Springer Berlin
Erscheinung: 15.11.2006