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

From ProofWiki
Jump to navigation Jump to search

M. Ben-Ari: Mathematical Logic for Computer Science

Published $1993$, Prentice Hall

ISBN 0-13-564139-X.

Subject Matter


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

This book appears in the following editions: