Dag Prawitz
1 reference results for: Dag Prawitz
Wikipedia
Dag Prawitz (born 1936) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction.
Main Books
- Natural Deduction. A Proof-Theoretic Study, 1965.
- ABC i Symbolisk Logik, 1991.
External links
Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Wednesday August 22, 2007 at 05:24:23 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation
This article is licensed under the GNU Free Documentation License.
Last updated on Wednesday August 22, 2007 at 05:24:23 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation
Share This:
Copyright © 2008, Dictionary.com, LLC. All rights reserved.