Mathematical logic for computer science

Bibliographic Details
Main Author:	Ben-Ari, M. 1948- (Author)
Format:	Book
Published:	New York ; London Prentice Hall 1993
Series:	Prentice Hall International series in computer science
Subjects:	Logic, Symbolic and mathematical

MARC


LEADER	00000cam a2200000 7i4500
001	0000020900
008	021119n
020			\|a 013564139X \|c (bpk.)
090	0	0	\|a QA9 \|b .B3955 1993
100	0		\|a Ben-Ari, M. \|d 1948- \|e author
245	0	0	\|a Mathematical logic for computer science \|c M. Ben-Ari
260	2		\|a New York ; \|a London \|b Prentice Hall \|c 1993
300			\|a xi, 305 p. ; \|c 24 cm.
440	0	0	\|a Prentice Hall International series in computer science
650		0	\|a Logic, Symbolic and mathematical
999			\|a 1000016148 \|b Book \|c OPEN SHELF (30 DAYS) \|e Gong Badak Campus