From Sets and Types to Topology and Analysis: towards practicable foundations for constructive mathematics by Laura Crosilla

By: Crosilla, LauraContributor(s): Schuster, PeterMaterial type: TextTextPublication details: New York Oxford University Press 2005Description: xix, 350 pISBN: 9780198566519DDC classification: 511.3622 CRO
Contents:
<p>1. Constructive Set Theories and The
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 library Collection Call number Vol info Status Date due Barcode Item holds
REFERENCE BOOK REFERENCE BOOK LRC_JUIT
Mathematics 		REFERENCE SECTION REF 511.3622 CRO (Browse shelf (Opens below)) Copy 1 Not for loan 024273
Total holds: 0

<p>1. Constructive Set Theories and The

There are no comments on this title.

to post a comment.

Library Home | Contact Us | LRC Help

Copyright @ 2020 LRC
Jaypee University of Information Technology
website hit counter

Powered by Koha