Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic

by Luis M Augusto Paperback details (United Kingdom). ISBN: 978-1-84890-280-0 ISBN-10: 1-84890-280-8 College Publications · 2018