This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1945.rdf
A Syntactical Definition of Probability and of Degree of Confirmation.
On the Interpretation of Intuitionistic Number Theory.
Axiom Schemes for M-Valued Propositional Calculi.
On the Syntactical Construction of Systems of Modal Logic.