Deducibility and decidability /

Bibliographic Details

Main Author:	Gill, R. R. Rockingham, 1944-
Format:	Book
Language:	English
Published:	London ; New York : Routledge, 1990.
Subjects:	Logic, Symbolic and mathematical. Decidability (Mathematical logic)