Logic and Its Applications

(1996)
  Copy   BIBTEX

Abstract

This book is an introduction to mathematical logic and its application to the field of computer science. Starting with the first principles of logic, the theory is reinforced by detailed applications.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

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

Through your library

Similar books and articles

Symbolic logic and its applications.Hugh MacColl - 1906 - Bombay,: Longmans, Green, and co..
Introduction to Mathematical Logic and its Applications.A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (2):156-158.
A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
Introduction to Symbolic Logic and Its Applications.H. Hermes - 1959 - Journal of Symbolic Logic 31 (2):287-287.
Modal Logic and its Applications.Hugh Montgomery - 1971 - Journal of Symbolic Logic 40 (2):251-252.
Modal logic and its applications.Donald Paul Snyder - 1971 - New York,: Van Nostrand Reinhold.

Analytics

Added to PP
2015-02-13

Downloads
3 (#1,728,269)

6 months
1 (#1,516,001)

Historical graph of downloads
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