- Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.details
|
|
(1 other version)The Complexity of Propositional Proofs.Nathan Segerlind - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.details
|
|
(1 other version)The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.details
|
|
(1 other version)The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.details
|
|
Radical anti-realism and substructural logics.Jacques Dubucs & Mathieu Marion - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 235--249.details
|
|
The calculus of constructions.Thierry Coquand & Gérard Huet - 1988 - Information And Computation 76 (2-3):95--120.details
|
|
(2 other versions)The complexity of propositional proofs.Alasdair Urquhart - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.details
|
|
Logic and the complexity of reasoning.Hector J. Levesque - 1988 - Journal of Philosophical Logic 17 (4):355 - 389.details
|
|
Feasibility In Logic.Jacques Dubucs - 2002 - Synthese 132 (3):213-237.details
|
|
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.details
|
|