National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Ranta, Aarne
URI:
http://urn.fi/URN:NBN:fi:au:pn:000067811
name
Ranta, Aarne
Authored works
Studies in constructive semantics : summary
Type-theoretical grammar
Works contributed to
Structural proof theory
Works about Ranta, Aarne
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD