Author books / Книги автора Crosilla Laura,Schuster Peter (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Crosilla Laura,Schuster Peter (eds.)

book From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

pdf

Author: Crosilla Laura, Schuster Peter (eds.)
Language: English
Year: 2005

00

30.01.2024

0

0