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

By: Troelstra, A. SContributor(s): Dalen, D. van [Auth.]Material type: 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
Item type	Current library	Call number	Status	Date due	Barcode
Book	NISER LIBRARY	510.25 TRO-C (Browse shelf(Opens below))	Checked out to Bhaskar Goyal (2111038)	04/12/2022	8392

Previous								Next
Previous	510, 23 Stochastic Differential Games. Theory and Applications	510, 23 Mathematics of Approximation	510, 23 Introduction to Soliton Theory: Applications to Mechanics	510.25 TRO-C Constriuctivisim in mathematics: an introduction	510.5 ATA-G General concepts and techniques	510.5 ATA-S Special topics and techniques	510.5 BRE-L Lattice basis reduction: an introduction to the LLL algorithm and its applications	Next

There are no comments on this title.

to post a comment.