Тема, жанр, tags: Mathematics -- Philosophy.,Constructive mathematics.,Logic Symbolic and mathematical.,Humaniora -- F » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematics -- Philosophy.,Constructive mathematics.,Logic Symbolic and mathematical.,Humaniora -- F

book Constructibility and mathematical existence

Constructibility and mathematical existence

pdf

Author: Chihara C.S.
Language: English
Year: 1990

00

30.01.2024

0

0

book Bounded Arithmetic

Bounded Arithmetic

djvu

Author: Samuel R. Buss
Language: English
Year: 1986

00

29.01.2024

0

0

book Lectures on Constructive Mathematical Analysis

Lectures on Constructive Mathematical Analysis

djvu

Author: B. A. Kushner
Language: English, Русский
Year: 1984

00

29.01.2024

0

0