The Locator -- [(subject = "Logica")]

64 records matched your query       

Record 9 | Previous Record | MARC Display | Next Record | Search Results
Author:
Nerode, Anil, 1932-
Title:
Logic for applications / Anil Nerode, Richard A. Shore.
Edition:
2nd ed.
Publisher:
Springer,
Copyright Date:
c1997
Description:
xiii, 456 p. : ill. ; 24 cm.
Subject:
Computer science--Mathematics.
Logic, Symbolic and mathematical.
Logica matematica (textos introdutorios)
Wiskundige logica.
Symbolische logica.
Informatica.
Other Authors:
Shore, Richard A., 1946-
Notes:
Includes bibliographical references (p. [409]-438) and indexes.
Series:
Graduate texts in computer science
ISBN:
9780387948935 (New York : hc : acid-free paper)
0387948937 (New York : hc : acid-free paper)
LCCN:
96043297
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)
OAAX516 -- Maharishi University of Management Library (Fairfield)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.