Normal view MARC view ISBD view

Varieties of constructive mathematics

Series: London Mathematical Society;97. Publisher: Cambridge Cambridge university Press 1988Description: x, 149 pages.ISBN: 0521318025.Subject(s): Logic

DDC classification: 511.3

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Item type	Current location	Collection	Call number	Status	Date due	Barcode
Books in Stacks (S)	Main Library Science & Technology	S	511.3 BRI (Browse shelf)	Available		272405

Previous	No cover image available	No cover image available	No cover image available			No cover image available	No cover image available	Next
Previous	511.1 LIP Discrete mathematics	511.13 KEI Mathematical logical and /	511.3 BRE Introduction to the theory of sets	511.3 BRI Varieties of constructive mathematics	511.3 FRA Proof in mathematics: an introduction	511.3 GOD The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory	511.3 GRA Exploring mathematics with mathematica: dialogs concerning computers and mathema	Next

Include index.

There are no comments for this item.

UOJ Online