Studies in Constructive Mathematics and Mathematical Logic

Beschreibung

Autor*in

A. O. Slisenko

Themen in »Studies in Constructive Mathematics and Mathematical Logic«

Calc Logic Mint Volume boundary element method calculus equality function integral mathematical logic mathematics proof reporting semantics theorem

Stimmen zu »Studies in Constructive Mathematics and Mathematical Logic«

Details

Link teilen