Publications

Export 123 results:
Filters: Type is Journal Article  [Clear All Filters]
2010
Feferman, S., Strahm, T.: Unfolding finitist arithmetic. Review of Symbolic Logic. 3, 665-689 (2010).

Pages