Premium
Models for the Logic of Possible Proofs
Author(s) -
Horsten Leon
Publication year - 2000
Publication title -
pacific philosophical quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.914
H-Index - 32
eISSN - 1468-0114
pISSN - 0279-0750
DOI - 10.1111/1468-0114.00094
Subject(s) - mathematical proof , citation , computer science , epistemology , philosophy , library science , mathematics , geometry