PropertyValue
rdf:type
rdfs:label
  • New Foundations
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • New Foundations
skos:altLabel
  • NFU
  • ML
  • NF
  • different solution
  • Mathematical Logic
  • N.F.
  • New Foundations for Mathematical Logic
  • Stratified systems
is clgo:notableIdea of