PropertyValue
rdf:type
rdfs:label
  • Mathematical logic
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Mathematical logic
skos:altLabel
  • Logic
  • symbol
  • symbolic
  • logical
  • mathematical
  • mathematics
  • Formal logic
  • formal
  • logic
  • formal logic
  • logician
  • formal argument
  • logicians
  • logics
  • symbolic logic
  • Logician
  • mathematical formalism
  • variable substitution
  • logical terms
  • mathematical logician
  • mathematical logic
  • Formal form
  • Mathematical Logic
  • Mathematical logic#Applications
  • Mathematical logic#Formal logical systems
  • Mathematical logic#History
  • Mathematical logic#Symbolic logic
  • Mathematical_logic#20th_century
  • Mathematical_logic#History
  • Mathematical_logic#Subfields_and_scope
  • first-order structure with equality
  • formal logics
  • formal mathematical logic
  • formal system of logic
  • generalized recursion theory
  • logic as applied to set theory
  • logic systems
  • logical formalism
  • mathematical formalisms
  • mathematical study of logic
  • mathematical, or symbolic, logic
  • mathematics and logic
  • nonclassical logic
is clgo:academicDiscipline of
is clgo:genre of
is clgo:knownFor of
is clgo:mainInterest of
is clgo:notableIdea of