Background
Galton, Antony Peter was born on July 23, 1952 in London. Son of David Abraham Goitein and Nora Patricia (Davenport) Galton.
(The value of logic techniques in circuit design has been ...)
The value of logic techniques in circuit design has been well-known for many years, but a thorough grounding in mathematical logic is needed for all stages of software development, especially program specification, verification and program transformation. In all these stages, logic underpins the theory, bearing out the dictum that "Logic is the calculus of computer science". This book presents the subject of mathematical logic in order to provide a grounding for students in computer science. The approach utilized is to present the canonical logical theories - the propositional calculus and the first-order predicate calculus. There is a brief presentation of modal and temporal logic in the final chapter.
http://www.amazon.com/gp/product/0471929336/?tag=2022091-20
Galton, Antony Peter was born on July 23, 1952 in London. Son of David Abraham Goitein and Nora Patricia (Davenport) Galton.
Bachelor in Mathematics, University Cambridge, England, 1974. Doctor of Philosophy in Philosophy, University Leeds, England, 1981.
Assistant master Bristol (England) Grammar School, 1978-1980. Lecturer Palmer's 6th Form College, Grays, Essex, England, 1981-1984. Research fellow University Leeds, 1984-1986.
Lecturer University Exeter, England, since 1987.
(The value of logic techniques in circuit design has been ...)
Married Carol Arlene Mizroch, August 30, 1979. Children: Rosemary, Jonathan.