Person · Open Library
- Works
- 5
Top works
- ABC i symbolisk logik
- ABC i symbolisk logik - Logikens språk och grundbegrepp
- Meaning and interpretation
- Meaning & Interpretation
- Natural deduction
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- The validity of the Hospital Anxiety and Depression Scale
· 2002 · cited 8,174x
- Effects of intensive blood-pressure lowering and low-dose aspirin in patients with hypertension: principal results of the Hypertension Optimal Treatment (HOT) randomised trial
· 1998 · cited 4,228x
- Diagnosis and management of dementia with Lewy bodies
· 2017 · cited 3,886x
- Clinical diagnostic criteria for dementia associated with Parkinson's disease
· 2007 · cited 2,636x
- Diagnostic criteria for mild cognitive impairment in Parkinson's disease: <i>Movement</i> Disorder Society Task Force guidelines
· 2012 · cited 2,329x
via Crossref · CC0
Connections
philosophy
Entity
Stockholm
Entity
Rolf Schock Prizes
Entity
Sweden
Country
logic
Entity
computer science
Entity
International Standard Book Number
Entity
Uppsala
Entity
mathematician
Entity
mathematical logic
Entity
OCLC, Inc.
Entity
University of Oslo
Entity
Royal Swedish Academy of Sciences
Entity
Stockholm University
Entity
proof theory
Entity
Norwegian Academy of Science and Letters
Entity
natural deduction
Entity
Curry–Howard correspondence
Entity
cut-elimination
Entity