Truth, deduction, and computation logic and semantics for computer science

Bibliographic Details
Main Author: Davis, Ruth E. (informática) (-)
Format: Book
Language:Inglés
Published: New York : Computer Science 1989.
Series:Principles of Computer Science Series
Subjects:
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001650469703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Physical Description:XV, 265 p. ; 25 cm
Bibliography:Bibliogr.: p. 257-260
ISBN:9780716782018