Natural Deduction. A proof-theoretical study

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://www.productontology.org/id/Thesis
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/1464055#Topic/logik
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica_simbolica_y_matematica
http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalnosc_logika
http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalite_logique
http://experiment.worldcat.org/entity/work/data/1464055#Topic/folgerung
http://experiment.worldcat.org/entity/work/data/1464055#Topic/bewijstheorie
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique
http://id.worldcat.org/fast/1002014
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logika
http://experiment.worldcat.org/entity/work/data/1464055#Topic/metamathematics
http://id.worldcat.org/fast/1002068
http://worldcat.org/entity/person/id/2636928653
http://experiment.worldcat.org/entity/work/data/1464055#Topic/modallogik
http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduktion
http://experiment.worldcat.org/entity/work/data/1464055#Topic/modality_logic
http://experiment.worldcat.org/entity/work/data/1464055#Topic/gentzen_gerhard
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique_mathematique
http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalita_logica
http://id.loc.gov/authorities/subjects/sh85086410
http://worldcat.org/entity/person/id/2645290943
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction
http://id.loc.gov/authorities/subjects/sh85078106
http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction_logique
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic_symbolic_and_mathematical
http://experiment.worldcat.org/entity/work/data/1464055#Topic/mathematische_logik
http://experiment.worldcat.org/entity/work/data/1464055#Topic/deductie
http://experiment.worldcat.org/entity/work/data/1464055#Topic/metamatematica
http://experiment.worldcat.org/entity/work/data/1464055#Topic/logika_symboliczna_i_matematyczna
http://id.worldcat.org/fast/1024350
http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction_naturelle_calcul_logique_preuve_theorie

http://schema.org/author

http://worldcat.org/entity/person/id/2627013147

http://schema.org/contributor

http://worldcat.org/entity/person/id/2627013147

http://schema.org/creator

http://worldcat.org/entity/person/id/2627013147

http://schema.org/name

"Natural deduction : A proof-theoretical study"
"Natural deduction - a proof-theoretical study"
"Natural Deduction. A proof-theoretical study"@en
"Natural deduction : a proof-theoretical study"@en
"Natural deduction : a proof-theoretical study"
"Natural Deduction; A Proof-Theoretical Study"@en
"Natural deduction; a proof-theoretical study"
"Natural deduction a proof-theoretical study"@en
"Natural deduction a proof-theoretical study"
"NATURAL DEDUCTION : A Proof-Theoretical Study"@it
"Natural deduction"

http://schema.org/workExample

http://www.worldcat.org/oclc/503680952
http://www.worldcat.org/oclc/491659799
http://www.worldcat.org/oclc/375477
http://www.worldcat.org/oclc/466285559
http://www.worldcat.org/oclc/633358029
http://www.worldcat.org/oclc/859813710
http://www.worldcat.org/oclc/460780715
http://www.worldcat.org/oclc/483305034
http://www.worldcat.org/oclc/471696387
http://www.worldcat.org/oclc/912927896
http://www.worldcat.org/oclc/251815126
http://www.worldcat.org/oclc/299874086
http://www.worldcat.org/oclc/878748776
http://www.worldcat.org/oclc/913088291
http://www.worldcat.org/oclc/807079832
http://www.worldcat.org/oclc/751007804
http://www.worldcat.org/oclc/185780679
http://www.worldcat.org/oclc/799168200
http://www.worldcat.org/oclc/624578390
http://www.worldcat.org/oclc/835597968
http://www.worldcat.org/oclc/636224185
http://www.worldcat.org/oclc/469862722
http://www.worldcat.org/oclc/906062571
http://www.worldcat.org/oclc/868519350
http://www.worldcat.org/oclc/864743084
http://www.worldcat.org/oclc/61296001
http://www.worldcat.org/oclc/644506638

Bewijstheorie.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Bewijstheorie."