Logic and Computation
Subtitle: Essays in Honour of Amilcar Sernadas
Publisher: College Publications
Published: 2017-06-29
ISBN-13: 9781848902480