Cover Image

Logic for Applications /

Show other versions (2)

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical foundations for resolution theorem proving and Logic...

Full description

Bibliographic Details
Main Author:	Nerode, Anil
Corporate Author:	SpringerLink (Online service)
Other Authors:	Shore, R. A. (Richard A.)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US, 1993.
Series:	Texts and monographs in computer science.
Subjects:	Computer science. Computer input-output equipment. Electronic books. Computers.
Online Access:	Connect to the full text of this electronic book

Similar Items

The Ergonomics of Computer Pointing Devices /
by: Douglas, Sarah A.
Published: (1997)

Industrial Applications of Fuzzy Technology /
by: Hirota, K. (Kaoru)
Published: (1993)

Analog and Mixed-Signal Hardware Description Language /
by: Vachoux, Alain
Published: (1997)

Physics for Computer Science Students : With Emphasis on Atomic and Semiconductor Physics /
by: García, Narciso, 1954-
Published: (1998)

Turing's Connectionism : an Investigation of Neural Network Architectures /
by: Teuscher, Christof
Published: (2002)

Advanced Information Processing : Proceedings of a Joint Symposium. Information Processing and Software Systems Design Automation. Academy of Sciences of the USSR, Siemens AG, FRG Moscow, June 5/6, 1990 /
by: Schwärtzel, Heinz
Published: (1990)

The Computer - My Life /
by: Zuse, Konrad
Published: (1993)

Introduction to Formal Hardware Verification /
by: Kropf, Thomas
Published: (1999)

SBus : Information, Applications, and Experience /
by: Lyle, James D.
Published: (1992)

Three-Dimensional Object Recognition from Range Images /
by: Suk, Minsoo
Published: (1992)

System on Chip Design Languages : Extended papers: best of FDL'01 and HDLCon'01 /
by: Mignotte, Anne
Published: (2002)

Electronic Chips & Systems Design Languages /
by: Mermet, Jean
Published: (2001)

System-on-Chip Methodologies & Design Languages /
by: Ashenden, Peter J.
Published: (2001)

Formal Verification of Circuits /
by: Drechsler, Rolf
Published: (2000)

The Information Revolution: Impact on Science and Technology /
by: Dubois, Jacques-Emile
Published: (1996)

Preobrazovateli informat︠s︡ii dli︠a︡ ėlektronnykh t︠s︡ifrovykh vychislitelʹnykh ustroĭstv /
by: Gitis, Ė. I. (Ėmanuil Isaakovich)
Published: (1961)

A System Administrator's Guide to Sun Workstations /
by: Becker, George
Published: (1991)

Implementation of an automated application display generator /
by: Peterson, Dennis
Published: (1986)

The essential guide to computer hardware /
by: Keogh, James Edward, 1948-
Published: (2002)

Mini DisplayPort to VGA adapter.
Published: (2012)

Acquisition, archiving and interchange /
by: Hays, David G.
Published: (1966)

A user's guide to computer peripherals /
by: Eadie, Donald
Published: (1982)

Peripheral devices.
by: Flores, Ivan
Published: (1973)

Input devices /
Published: (1988)

Algorithms and Data Structures in VLSI Design : OBDD - Foundations and Applications /
by: Meinel, Christoph
Published: (1998)

The Simon & Schuster guide to computer peripherals /
by: Christie, Linda Gail
Published: (1985)

Hierarchical annotated action diagrams : an interface-oriented specification and verification method /
Published: (1998)

Optical page reading devices /
by: Wilson, Robert A. (Robert Alter), 1912-
Published: (1966)

An inertial head-orientation tracker with automatic drift compensation for use with HMD's /
by: Foxlin, Eric
Published: (1995)

Discrete Systems : Analysis, Control and Optimization /
by: Mahmoud, Magdi S.
Published: (1984)

LaserJet unlimited /
by: Nace, Ted
Published: (1988)

LaserJet unlimited : how to get the most from your Hewlett-Packard LaserJet or LaserJet Plus printer /
by: Nace, Ted
Published: (1986)

The Rand video graphic system : an approach to a general user-computer graphic communication system /
by: Uncapher, K. W.
Published: (1971)

Advanced intelligent terminals as a user's network interface /
by: Anderson, Robert H. (Robert Helms), 1939-
Published: (1975)

Data communications standards library /
Published: (1979)

Supplement to CAMAC (computer automated measurement and control) standards and reports /
Published: (1978)

Get more from the Epsom printer /
by: Curran, Susan, 1952-
Published: (1985)

Transputer research and applications 2 : proceedings of The Second Conference of the North American Transputer Users Group, 18-19 October, 1989, Durham, N.C. /
Published: (1990)

CGM in the Real World /
by: Mumford, Anne
Published: (1988)

Transputer research and applications 1 : proceedings of The First Conference of the North American Transputer Users Group, 5-6 April, 1989, Salt Lake City, Utah /
Published: (1990)