A relevant analysis of natural deduction
Journal of Logic and Computation1998Vol. 8(6), pp. 809–838
Citations Over TimeTop 10% of 1998 papers
Abstract
Journal Article A Relevant Analysis of Natural Deduction Get access S. S. ISHTIAQ, S. S. ISHTIAQ Department of Computer Science, Queen Mary & Westfield College, University of LondonLondon E1 4NS E-mail: sipym@dcs.qmw.ac.uk Search for other works by this author on: Oxford Academic Google Scholar D. J. PYM D. J. PYM Department of Computer Science, Queen Mary & Westfield College, University of LondonLondon E1 4NS E-mail: sipym@dcs.qmw.ac.uk Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 8, Issue 6, December 1998, Pages 809–838, https://doi.org/10.1093/logcom/8.6.809 Published: 01 December 1998 Article history Received: 15 October 1997 Published: 01 December 1998
Related Papers
- → Hartnell, Sir Norman, (12 June 1901–8 June 1979), Dressmaker by appointment to HM the Queen, and to HM Queen Elizabeth the Queen Mother; Member Incorporated Society of London Fashion Designers (Chairman 1947–56); Ex-Vice-President Clothing Institute(2007)1 cited
- Susquehanna Chorale Spring Concert "Roots and Wings"(2017)
- → Gordon, Lord Adam (Granville), (1 March 1909–5 July 1984), Comptroller to Queen Elizabeth the Queen Mother, 1953–73; Extra Equerry to Queen Elizabeth the Queen Mother, since 1974(2007)
- → Queen Elizabeth: real persons in “the Faerie Queen”(1871)
- アメリカ便り(24)ニューヨーク港を訪れる海の女王たち--Queen Victoria, Queen Mary 2, Queen Elizabeth 2, Queen Elizabeth, Queen Mary(2008)