UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

ULB (1)

ULiège (1)

VIVES (1)

VUB (1)

Resource type

book (2)

Language

English (2)

Year

From To

2022 (2)

Listing 1 - 2 of 2
Sort by

Book

Essays in Constructive Mathematics
Authors: Edwards, Harold M --- SpringerLink (Online service)
ISBN: 9783030985585 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Matemàtica constructiva --- Constructivisme (Matemàtica) --- Lògica matemàtica --- Funcions computables --- Matemàtica intuïcionista --- Constructivisme (Filosofia) --- Constructive mathematics. --- Mathematics, Constructive --- Logic, Symbolic and mathematical

Book

Essays in constructive mathematics
Author: Edwards, Harold M.
ISBN: 3030985571 303098558X Year: 2022 Publisher: Cham, Switzerland : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Constructive mathematics. --- Matemàtica constructiva --- Constructivisme (Matemàtica) --- Lògica matemàtica --- Funcions computables --- Matemàtica intuïcionista --- Constructivisme (Filosofia) --- Mathematics, Constructive --- Logic, Symbolic and mathematical

Listing 1 - 2 of 2
Sort by