Publié le : 1976-04-14
Classification:
02C15,
02J99
@article{1093887525,
author = {Okee, Jekeri},
title = {A species-algebraic interpretation of the intuitionistic propositional calculus.},
journal = {Notre Dame J. Formal Logic},
volume = {17},
number = {1},
year = {1976},
pages = { 222-232},
language = {en},
url = {http://dml.mathdoc.fr/item/1093887525}
}
Okee, Jekeri. A species-algebraic interpretation of the intuitionistic propositional calculus.. Notre Dame J. Formal Logic, Tome 17 (1976) no. 1, pp. 222-232. http://gdmltest.u-ga.fr/item/1093887525/