EntityQ3011853· pop 7· linked from 86 articlesDag PrawitzSign in to saveSwedish philosopher and logicianConnectionsphilosophyEntityStockholmEntityRolf Schock PrizesEntitySwedenCountrylogicEntitycomputer scienceEntityInternational Standard Book NumberEntityUppsalaEntitymathematicianEntitymathematical logicEntityOCLC, Inc.EntityUniversity of OsloEntityRoyal Swedish Academy of SciencesEntityStockholm UniversityEntityproof theoryEntityNorwegian Academy of Science and LettersEntitynatural deductionEntityCurry–Howard correspondenceEntitycut-eliminationEntityCategories1936 births20th-century Swedish philosophersLiving peopleMathematical logiciansMembers of the Norwegian Academy of Science and LettersMembers of the Royal Swedish Academy of SciencesPeople from StockholmProof theoristsSwedish logiciansSwedish philosophers