skip to content
Natural deduction : a proof-theoretical study Preview this item
ClosePreview this item
Checking...

Natural deduction : a proof-theoretical study

Author: Dag Prawitz
Publisher: Stockholm : Almqvist & Wiksell, [1965]
Dissertation: Akademisk avhandling--Stockholm. Universitet.
Series: Acta Universitatis Stockholmiensis., Stockholm studies in philosophy ;, 3.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Prawitz, Dag.
Natural deduction.
Stockholm, Almqvist & Wiksell [1965]
(OCoLC)624578390
Named Person: Gerhard Gentzen; Gerhard Gentzen; Gerhard Gentzen
Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Dag Prawitz
OCLC Number: 375477
Notes: Errata sheet inserted.
Description: 113 pages ; 24 cm.
Series Title: Acta Universitatis Stockholmiensis., Stockholm studies in philosophy ;, 3.
Responsibility: Dag Prawitz.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/375477> # Natural deduction : a proof-theoretical study
    a schema:Book, bgn:Thesis, schema:CreativeWork ;
    bgn:inSupportOf "Akademisk avhandling--Stockholm. Universitet." ;
    library:oclcnum "375477" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1464055#Place/stockholm> ; # Stockholm
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Person/gentzen_gerhard_1909_1945> ; # Gerhard Gentzen
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Person/gentzen_gerhard> ; # Gerhard Gentzen
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://id.loc.gov/authorities/classification/BC71> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique> ; # Logique
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Topic/proof_theory> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic> ; # Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduktion> ; # Deduktion
    schema:about <http://dewey.info/class/160/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalite_logique> ; # Modalité (logique)
    schema:about <http://experiment.worldcat.org/entity/work/data/1464055#Topic/modality_logic> ; # Modality (Logic)
    schema:creator <http://viaf.org/viaf/12407772> ; # Dag Prawitz
    schema:datePublished "1965" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1464055> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1464055#Series/acta_universitatis_stockholmiensis> ; # Acta Universitatis Stockholmiensis.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1464055#Series/acta_universitatis_stockholmiensis_stockholm_studies_in_philosophy> ; # Acta Universitatis Stockholmiensis. Stockholm studies in philosophy ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/624578390> ;
    schema:name "Natural deduction : a proof-theoretical study"@en ;
    schema:productID "375477" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/375477#PublicationEvent/stockholm_almqvist_&_wiksell_1965> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1464055#Agent/almqvist_&_wiksell> ; # Almqvist & Wiksell
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/375477> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1464055#Agent/almqvist_&_wiksell> # Almqvist & Wiksell
    a bgn:Agent ;
    schema:name "Almqvist & Wiksell" ;
    .

<http://experiment.worldcat.org/entity/work/data/1464055#Person/gentzen_gerhard> # Gerhard Gentzen
    a schema:Person ;
    schema:familyName "Gentzen" ;
    schema:givenName "Gerhard" ;
    schema:name "Gerhard Gentzen" ;
    .

<http://experiment.worldcat.org/entity/work/data/1464055#Person/gentzen_gerhard_1909_1945> # Gerhard Gentzen
    a schema:Person ;
    schema:birthDate "1909" ;
    schema:deathDate "1945" ;
    schema:familyName "Gentzen" ;
    schema:givenName "Gerhard" ;
    schema:name "Gerhard Gentzen" ;
    .

<http://experiment.worldcat.org/entity/work/data/1464055#Series/acta_universitatis_stockholmiensis> # Acta Universitatis Stockholmiensis.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/375477> ; # Natural deduction : a proof-theoretical study
    schema:name "Acta Universitatis Stockholmiensis." ;
    .

<http://experiment.worldcat.org/entity/work/data/1464055#Series/acta_universitatis_stockholmiensis_stockholm_studies_in_philosophy> # Acta Universitatis Stockholmiensis. Stockholm studies in philosophy ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/375477> ; # Natural deduction : a proof-theoretical study
    schema:name "Acta Universitatis Stockholmiensis. Stockholm studies in philosophy ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalite_logique> # Modalité (logique)
    a schema:Intangible ;
    schema:name "Modalité (logique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modality_logic> # Modality (Logic)
    a schema:Intangible ;
    schema:name "Modality (Logic)"@en ;
    .

<http://viaf.org/viaf/12407772> # Dag Prawitz
    a schema:Person ;
    schema:familyName "Prawitz" ;
    schema:givenName "Dag" ;
    schema:name "Dag Prawitz" ;
    .

<http://www.worldcat.org/oclc/624578390>
    a schema:CreativeWork ;
    rdfs:label "Natural deduction." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/375477> ; # Natural deduction : a proof-theoretical study
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.