Showing 1 - 8
of 8
for search: '',
query time: 0.05s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Constructive mathematics
Institution
Collection
Format
Subject
Author
3
ScienceDirect (Online service)
3
SpringerLink (Online Service)
2
Dalen, D. van 1932-
2
Troelstra, A. S.
1
Beame, Paul W., 1959-
1
Bede, Barnabas,
more ...
1
Bridges, D. S. 1945-
1
Brouwer, L. E. J. 1881-1966
1
Buss, Samuel R.
1
Coroianu, Lucian,
1
DIMACS (Group)
1
DIMACS Workshop on Feasible Arithmetics and Length of Proofs
1
Edwards, Harold M.
1
Edwards, Harold M.,
1
Gal, Sorin G., 1953-
1
L.E.J. Brouwer Centenary Symposium
1
L.E.J. Brouwer Centenary Symposium Noordwijkerhout, Netherlands)
1
NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
1
Shapiro, Stewart, 1951-
1
SpringerLink (Online service)
1
Vîță, Luminița Simona
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication