Search

Image from Google Jackets

Image from Coce

Normal view MARC view ISBD view

Constriuctivisim in mathematics: an introduction A. S. Troelstra and D. van Dalen

By: Troelstra, A. SContributor(s): Dalen, D. van [Auth.]Material type: Text

Text

TextLanguage: English Series: Studies in logic and foundations in mathematics; v. 121,123Publication details: Boston Elsevier 1988 Description: 342pISBN: 9780444702661Subject(s): CONSTRUCTIVE MATHEMATICSDDC classification: 510.25

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Book	NISER LIBRARY	510.25 TRO-C (Browse shelf(Opens below))	Available		8392

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2
3
4
5
6
7
8
9
10

1 Numerical methods in astrophysics: introduction
by Bodenheimer, P
2 Barron's GRE: graduate record examination
by Green, S W
3 Physical chemistry: kinetics
by Metiu, H
4 Physical chemistry: quantum mechanics
by Metiu, H
5 Physical chemistry: kinetics
by Metiu, H
6 Hand book of mathematical formulas and inegrals
by Jeffrey, Alan
7 Statistics and data analysis for microarrays Using R and Biconductor
by Draghici, sorin
8 Introduction to probability with mathematica
by Hastings, Kevin J.
9 Numerical computational methods
by Patil, P B.
10 Ordinary differential equations: applications, models and computing
by Roberts, Charles E.

Close

© 2024 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | ✉Email: libniser@niser.ac.in ☎Phone: +91-674-2494171

Powered by Koha