Deducibility and decidability

Main Author: Gill, R. R. Rockingham, 1944-
Corporate Author: ebrary, Inc.
Format: Book
Language:English
Published: London ; New York : Routledge, 1990.
Subjects:
Online Access:http://site.ebrary.com/lib/ucy/Doc?id=10017095
LEADER 00713nam a2200205 a 4500
001 1755333
005 20171111234505.0
008 890908s1990 enk sb 001 0 eng d
020 |z 0415000335 
040 |a CaPaEBR 
050 1 4 |a BC135  |b .G495 1990eb 
100 1 |a Gill, R. R. Rockingham,  |d 1944- 
245 1 0 |a Deducibility and decidability  |c R.R. Rockingham Gill. 
260 |a London ;  |b Routledge,  |c 1990.  |a New York : 
300 |a viii, 162 p. 
504 |a Includes bibliographical references (p. 150-155) and index. 
650 0 |a Logic, Symbolic and mathematical. 
710 2 |a ebrary, Inc. 
856 4 0 |u http://site.ebrary.com/lib/ucy/Doc?id=10017095 
952 |a CY-NiOUC  |b 5a04532a6c5ad14ac1ec76f9  |c 998a  |d 945l  |e -  |t 1  |x m  |z Books