Home
About
Browse
Browse by Year
Browse by Subject
Browse by Author
Login
Items where Author is "
de Vries, Mees
"
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
No Grouping
Jump to:
Report
Number of items:
1
.
Report
MoL-2017-27:
de Vries, Mees
(2017)
An Extensional Modified Realizability Topos.
[Report]
This list was generated on
Sat Nov 9 00:30:43 2024 CET
.