KNAW
Narcis
Back to search results
Person
Dr. R. Iemhoff
Pagina-navigatie:
Main
Current research (1)
Publications (15)
Update Persondata
Export page
QR code
logics
mathematical
philosophy
theoretical
Expertise
Mathematical logic
Expertise (NL)
Mathematical logic
Digital Author ID
info:eu-repo/dai/nl/174688210
Grants/prizes
NWO-Vidi 2009
Active as
Associate professor
Organisation
Department of Philosophy (UU)
Chair (EN)
Theoretical philosophy
Chair (NL)
Theoretische filosofie
Phone
+31-30-2535575
Email
r. iemhoff -at- uu. nl
URL
http://www.uu.nl/gw/medewerkers/RIemhoff
Publications
(the most recent at the top)
On Rules
On unification and admissible rules in Gabbay-de Jongh logics
Unification in fragments of intermediate logics
Unification in transitive reflexive modal logics
Krachtige bewijzen
All publications..
Current research
(the most recent research is at the top)
Project leader
The power of constructive proofs
Classification
D11100
Logic, set theory and arithmetic
D32000
Philosophy
Go to Website Navigation:
Home
about narcis
Nederlands
Royal Netherlands Academy of Arts and Sciences
Go to page top
Go back to contents
Go back to site navigation