IRI

http://www.metaontology.pl/metaontology_populated.owl#abstract_2727
Label Język Typ
abstract of On Constructive Functions Ranging Over Propositions en rdfs:label

Adnotacje

  • zawiera tekst
    • It is shown that there is no constructive extensional truth-value mapping from the speciesP of all propositions into known constructive structures P.

Identyczne obiekty

Typy

Object properties

Data properties