Logic for applications

Bibliographic Details
Main Author: Nerode, Anil (-)
Other Authors: Shore, Richard A.
Format: Book
Language:Inglés
Published: New York [etc.] : Springer 1997.
Edition:2nd ed
Series:Graduate Texts in Computer Science
Subjects:
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991004444289703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Item Description:Indices
Physical Description:XIII, 456 p. ; 24 cm
Bibliography:Bibliogr.: p. [409]-438