Logic and Language

Red Globe Press (2003)
  Copy   BIBTEX

Abstract

An understanding of the theory and application of formal logics are fundamental to successful software and hardware development. This text provides an introduction to the subject, but goes beyond basic informal logic to concentrate on the concepts and ideas, and how these are practically applicable, without becoming too involved with deep mathematical theory. Worked examples and exercises with answers are provided throughout, making it ideal for final year undergraduates and MSc students.

Categories

Keywords

Reprint years

ISBN(s)

9780333919774   0333919777
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings.Manuel Hermenegildo & Jaan Penjam - 1994 - Springer Verlag.
Natural Language Understanding and Logic Programming, II: Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987.Veronica Dahl & Patrick Saint-Dizier - 1988 - North Holland.
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993 : Proceedings.Maurice Bruynooghe & Jaan Penjam - 1993 - Springer Verlag.
Programming Language Implementation and Logic Programming 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991 : Proceedings'.J. Malszy Nski & Martin Wirsing - 1991
Programming Language Implementation and Logic Programming International Workshop Plilp '90, Linköping, Sweden, August 20-22, 1990 : Proceedings'.Pierre Deransart - 1990 - Springer Verlag.
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).
Natural Language Understanding and Logic Programming: Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984.Veronica Dahl & Patrick Saint-Dizier (eds.) - 1985 - Amsterdam, Netherlands: North Holland.
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.Michael Gabbay - 2011 - Journal of Symbolic Logic 76 (2):673 - 699.
Theoretical Computer Science Selected Papers of the Symposium on Programming Language Implementation and Logic Programming , Passau, Germany, 26-28 August, 1991.J. Malszy Nski & Martin Wirsing - 1995 - Elsevier.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Logic Programming and Automated Reasoning 4th International Conference, Lpar '93, St. Petersburg, Russia, 13-20, 1993 : Proceedings'.Andrei Voronkov - 1993 - Springer Verlag.
Equational Logic as a Programming Language.Michael J. O'Donnell - 1985 - MIT Press (MA).
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings.Gerard Comyn & Norbert E. Fuchs - 1992 - Springer Verlag.

Analytics

Added to PP
2015-02-02

Downloads
1 (#1,898,347)

6 months
1 (#1,469,469)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references