Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Anne S. Troelstra

Themen in »Metamathematical Investigation of Intuitionistic Arithmetic and Analysis«

Arithmetic Intuitionistische Mathematik Mathematik calculus function ordinal theorem

Stimmen zu »Metamathematical Investigation of Intuitionistic Arithmetic and Analysis«

Details

Link teilen