UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

UAntwerpen (2)

KBR (1)

KU Leuven (1)

UCLouvain (1)

UGent (1)

ULB (1)

ULiège (1)

VUB (1)

Resource type

book (2)

Language

English (1)

German (1)

Year

From To

1988 (1)

1985 (1)

Listing 1 - 2 of 2
Sort by

A course in constructive algebra
Authors: Mines, Ray --- Richman, Fred --- Ruitenburg, Wim
ISBN: 3540966404 0387966404 1441986405 Year: 1988 Publisher: Berlin Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Algebra --- Mathematical logic --- Logic, Symbolic and mathematical --- Logique mathématique --- Constructive mathematics --- Mathématiques constructives --- Logique mathématique --- Mathématiques constructives

Book

Foundations of constructive mathematics : metamathematical studies
Author: Beeson, Michael J.
ISBN: 3540121730 0387121730 364268954X 3642689523 9783540121732 Year: 1985 Volume: 3. Folge, Bd. 6 Publisher: Berlin: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Constructieve wiskunde --- Constructive mathematics --- Mathematique constructive --- Mathématiques constructives --- 510.2 --- Foundations of mathematics --- 510.2 Foundations of mathematics --- Mathématiques constructives

Listing 1 - 2 of 2
Sort by