ELEMENTARY LOGIC WITH APPLICATIONS
Subtitle: a procedural perspective for computer scientists
By: D.M. Gabbay, O.T. Rodrigues
Series: Mathematical Logic and Foundations -- 65; Studies in logic -- v. 65.; Studies in logic
Publisher: COLLEGE PUBLICATIONS
Published: 2016
Place of publication: LONDON
Language: eng
Number of pages: 347
ISBN-13: 9781848902251
Subjects: Computer science; Symbolic and mathematical Logic; Electronic data processing; Informatique; Logique symbolique et mathématique; Data processing