A note and correction on Zbigniew Lis' contributions to the tree method: ``From semantic tableaux to Smullyan trees: a history of the falsifiability tree method''
Anellis, I. H.
Mod. Log., Tome 1 (1991) no. 4, / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1991-12-15
Classification:  03-03,  01A60,  03B10,  03B35,  03C07,  03C13 
@article{1204902674,
     author = {Anellis, I. H.},
     title = {A note and correction on Zbigniew Lis' contributions to the tree method: ``From
 semantic tableaux to Smullyan trees: a history of the falsifiability tree method''},
     journal = {Mod. Log.},
     volume = {1},
     number = {4},
     year = {1991},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204902674}
}

Anellis, I. H. A note and correction on Zbigniew Lis' contributions to the tree method: ``From
 semantic tableaux to Smullyan trees: a history of the falsifiability tree method''. Mod. Log., Tome 1 (1991) no. 4, . http://gdmltest.u-ga.fr/item/1204902674/