Matches in DBpedia 2016-04 for { <http://www.cs.cornell.edu/info/Projects/Nuprl/cs671/cs671-fa99/martin.html> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- martin.html authorlink "Per Martin-Löf".
- martin.html first "Per".
- martin.html isCitedBy Judgment_(mathematical_logic).
- martin.html last "Martin-Löf".
- martin.html title "On the meaning of the logical constants and the justifications of the logical laws".
- martin.html url martin.html.
- martin.html work "Siena Lectures".
- martin.html year "1983".