IRI

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

Adnotacje

Identyczne obiekty

Typy

Object properties

Data properties

  • jest opublikowany w roku

    • 1980

  • ma metadane w formacie Bibtex

    • @article{Luckhardt1980-LUCOCF,pages = {371--374},title = {On Constructive Functions Ranging Over Propositions},author = {H. Luckhardt},volume = {39},journal = {Studia Logica},abstract = {It is shown that there is no constructive extensional truth-value mapping from the speciesP of all propositions into known constructive structures P.},number = {4},year = {1980}}@

  • ma tytuł

    • On Constructive Functions Ranging Over Propositions

  • ostatnia strona

    • 374

  • pierwsza strona

    • 371