Narrow your search

Library

KU Leuven (4)

KBR (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLouvain (1)

UCLL (1)

UGent (1)

ULB (1)

More...

Resource type

book (4)


Language

English (4)


Year
From To Submit

1990 (4)

Listing 1 - 4 of 4
Sort by
Philosophical introduction to set theory
Author:
ISBN: 0268015848 0268015856 Year: 1990 Publisher: Notre Dame : University of Notre Dame Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Introduction to modern set theory
Author:
ISBN: 0471635197 Year: 1990 Volume: vol *37 Publisher: New York Chichester Singapore Wiley


Book
Almost free modules : set-theoretic methods
Authors: ---
ISBN: 0444885021 9786612755484 0080960243 128275548X 9780080960241 9780444885029 9780444874139 Year: 1990 Publisher: Amsterdam ; New York : New York, N.Y. : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This is an extended treatment of the set-theoretic techniques which have transformed the study of abelian group and module theory over the last 15 years. Part of the book is new work which does not appear elsewhere in any form. In addition, a large body of material which has appeared previously (in scattered and sometimes inaccessible journal articles) has been extensively reworked and in many cases given new and improved proofs. The set theory required is carefully developed with algebraists in mind, and the independence results are derived from explicitly stated axioms. The book contains exe

Programming in Martin-Löf's type theory : an introduction
Authors: --- ---
ISBN: 0198538146 9780198538141 Year: 1990 Volume: 7 Publisher: Oxford Clarendon

Listing 1 - 4 of 4
Sort by