W.H. Newton-Smith. Logic: An Introductory Course. Routledge and Kegan Paul, 1985. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Systematic Software Development Using VDM - Teaching Notes - Jones (1995) (662 citations) (Correct)
....are offered by IST, Logica, Praxis, NCC etc. Course material on VDM (PM687) is available from the (UK) Open University. 0. 2 Some background references There are many good textbooks on classical logic a useful one is [Ham82] a textbook which describes natural deduction proofs very clearly is [NS85] The work on LPF was described in [BCJ84] which also refers to other approaches to the same problem; Jen Cheng s thesis is [Che86] and a recent survey paper is [CJ90] The research of the Vienna group was first described in research reports and papers. The first book which contains references ....
....volume 186 of Lecture Notes in Computer Science, pages 27 41. Springer Verlag, 1985. Jon85b] C. B. Jones. Specification, verification and testing in software development. In T. Anderson, editor, Software Requirements Specification and Testing, pages 1 13. Blackwell Scientific Publications, 1985. Jon85c] K.D. Jones. The Application of a Formal Development Method to a Parallel Machine Environment. PhD thesis, University of Manchester, October 1985. Jon86a] C. B. Jones. Program specification and verification in VDM. Technical Report UMCS 86 10 5, University of Manchester, 1986. extended ....
W.H. Newton-Smith. Logic: An Introductory Course. Routledge and Kegan Paul, 1985.
Logical Pluralism - Beall, Restall (1998) (Correct)
No context found.
W. H. Newton-Smith. Logic: an introductory course. Routledge and Kegan Paul, 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC