Logic for Computer Scientists (Progress in Computer Science and Applied Logic (PCS))

by Uwe Schöning Birkhäuser Boston · 1994 Hardcover details (USA). details (UK). details (Canada). details (Germany). details (France). ISBN: 978-0-8176-3453-7 ISBN-10: 0-8176-3453-3