Showing 1 - 1 results of 1 for search 'Oosten, Jaap van.', query time: 0.04s Refine Results
1
Realizability : an introduction to its categorical side /
Participants: Oosten, Jaap van. [ ]; ProQuest (Firm) [ ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: 2008.
Superior document: Studies in logic and the foundations of mathematics ; 152
Links: Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search