Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy
December 1991A note and correction on Zbigniew Lis' contributions to the tree method: ``From semantic tableaux to Smullyan trees: a history of the falsifiability tree method''
I. H. Anellis "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''," Modern Logic, Mod. Log. 2(2), 219, (December 1991)