Narrow your search

Library

KU Leuven (1)

UAntwerpen (1)

UCLouvain (1)

UGent (1)

UHasselt (1)

ULiège (1)

VUB (1)


Resource type

book (1)


Language

German (1)


Year
From To Submit

1981 (1)

Listing 1 - 1 of 1
Sort by

Book
Iterated inductive definitions and subsystems of analysis: : recent proof-theoretical studies
Authors: --- ---
ISBN: 3540111700 0387111700 3540386491 9783540111702 Year: 1981 Volume: 897 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 1 of 1
Sort by