Investigations into the sentential calculus with identity.
Bloom, Stephen L. ; Suszko, Roman
Notre Dame J. Formal Logic, Tome 13 (1972) no. 3, p. 289-308 / Harvested from Project Euclid
Publié le : 1972-07-14
Classification:  02C10
@article{1093890617,
     author = {Bloom, Stephen L. and Suszko, Roman},
     title = {Investigations into the sentential calculus with identity.},
     journal = {Notre Dame J. Formal Logic},
     volume = {13},
     number = {3},
     year = {1972},
     pages = { 289-308},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093890617}
}
Bloom, Stephen L.; Suszko, Roman. Investigations into the sentential calculus with identity.. Notre Dame J. Formal Logic, Tome 13 (1972) no. 3, pp.  289-308. http://gdmltest.u-ga.fr/item/1093890617/