num_pages: 312
language: English
title: Logic: Form and function - The Mechanization of Deductive Reasoning
publisher: Edinburgh University Press