Sciweavers

14379 search results - page 376 / 2876
» is 2000
Sort
View
APAL
2000
50views more  APAL 2000»
15 years 7 months ago
The unfolding of non-finitist arithmetic
Solomon Feferman, Thomas Strahm
APAL
2000
63views more  APAL 2000»
15 years 7 months ago
Axioms and (counter) examples in synthetic domain theory
Jaap van Oosten, Alex K. Simpson