Logical methods : in honor of Anil Nerode's sixtieth birthday /

Logical methods : in honor of Anil Nerode's sixtieth birthday /

Saved in:

Bibliographic Details
Imprint:	Boston : Birkhäuser, 1993.
Description:	813 pages : illustrations ; 24 cm.
Language:	English
Series:	Progress in computer science and applied logic v. 12
Subject:	Nerode, Anil, -- 1932- Nerode, Anil, -- 1932- Logic programming Logic, Symbolic and mathematical Logic programming. Logic, Symbolic and mathematical.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/1584412

Hidden Bibliographic Details
Other authors / contributors:	Nerode, Anil, 1932- Crossley, John N.
ISBN:	0817636900
Notes:	Includes bibliographical references.

Crerar, Lower Level, Bookstacks

Loading map link

Holdings details from Crerar, Lower Level, Bookstacks
Call Number:	QA76.63.L59L640 1993
c.1	Available Loan period: standard loan Scan and Deliver Request for Pickup Need help? - Ask a Librarian