Predicate functor logic

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Mathematical axiom
rdfs:label	Predicate functor logic
owl:sameAs	dbr:Predicate_functor_logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Mathematical_axioms http://en.wikipedia.org/wiki/First-order_logic
skos:prefLabel	Predicate functor logic
skos:altLabel	predicate functor logic
is clgo:notableIdea of	Willard Van Orman Quine

About: clgr:Predicate_functor_logic