Result 1 to 4 from 4 total
Proof analysis. A contribution to Hilbert’s last problem. (English)
Cambridge: Cambridge University Press (ISBN 978-1-107-00895-3/hbk). xi, 265~p. \sterling~55.00; \$~90.00 (2011).
1
Proof analysis in non-classical logics. (English)
Dimitracopoulos, Costas (ed.) et al., Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28‒August 3, 2005. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88425-9/hbk). Lecture Notes in Logic 28, 107-128 (2008).
2
Zermelo and the Skolem paradox. (English)
Bull. Symb. Log. 6, No.2, 145-161 (2000).
3
Translation methods for non-classical logics: An overview. (English)
Bull. IGPL 1, No.1, 69-89 (1993).
4
Result 1 to 4 from 4 total
Start
Contact
Print
General Help
