Book:M. Ben-Ari/Mathematical Logic for Computer Science

From ProofWiki
Jump to: navigation, search

M. Ben-Ari: Mathematical Logic for Computer Science

Published $1993$, Prentice Hall

ISBN 0-13-564139-X.


Subject Matter


Editions

If available, the contents of an edition can be viewed by following the link.

This book appears in the following editions: