Natural deduction : a proof-theoretical study / Dag Prawitz

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Gentzen -- Gerhard -- 1909-1945

Logique

Logique mathématique

Modalité (logique)

Classification Dewey : 160

Collection : Stockholm studies in philosophy / Stockholm : Almqvist & Wiksell international , 1957-