Gentzen's proof of normalization for natural deduction

Research output: Contribution to journal › Article › Scientific › peer-review

Fields of Science

@article{c4848438669a498bbc98f59e7f3ec84d,

title = "Gentzen's proof of normalization for natural deduction",

keywords = "611 Philosophy, logiikka, deduktio, logiikka, deduktio, logiikka, deduktio",

author = "{von Plato}, Jan",

year = "2008",

language = "English",

volume = "14",

pages = "240--257",

journal = "Bulletin of Symbolic Logic",

issn = "1079-8986",

publisher = "Cambridge University Press",

number = "2",

}