| Property |
Value |
| dbo:abstract
|
- Dag Prawitz, né le 16 mai 1936, est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle. (fr)
- Dag Prawitz, né le 16 mai 1936, est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle. (fr)
|
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:discipline
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1230 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:annéePremièreÉdition
| |
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- Mineola, New York (fr)
- Mineola, New York (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Prawitz (fr)
- Prawitz (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
| |
| prop-fr:sousTitre
|
- A proof-theoretical study (fr)
- A proof-theoretical study (fr)
|
| prop-fr:titre
|
- Natural deduction (fr)
- Natural deduction (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Dover Publications (fr)
- Dover Publications (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Dag Prawitz, né le 16 mai 1936, est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle. (fr)
- Dag Prawitz, né le 16 mai 1936, est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle. (fr)
|
| rdfs:label
|
- Dag Prawitz (fr)
- ダグ・プラウィッツ (ja)
- Dag Prawitz (fr)
- ダグ・プラウィッツ (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
