Deducibility and decidability

Saved in:

Bibliographic Details
Main Author:	Gill, R. R. Rockingham, 1944-
Corporate Author:	ebrary, Inc
Format:	Electronic eBook
Language:	English
Published:	London ; New York : Routledge, 1990.
Subjects:	Logic, Symbolic and mathematical. Decidability (Mathematical logic) Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam a2200000Ia 4500
001	0000065928
005	20171002053234.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	890908s1990 enk sb 001 0 eng d
010			\|z 89027524
020			\|z 0415000335
035			\|a (CaPaEBR)ebr10017095
035			\|a (OCoLC)559475591
040			\|a CaPaEBR \|c 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 \|h [electronic resource] / \|c R.R. Rockingham Gill.
260			\|a London ; \|a New York : \|b Routledge, \|c 1990.
300			\|a viii, 162 p.
504			\|a Includes bibliographical references (p. 150-155) and index.
533			\|a Electronic reproduction. \|b Palo Alto, Calif. : \|c ebrary, \|d 2013. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
650		0	\|a Logic, Symbolic and mathematical.
650		0	\|a Decidability (Mathematical logic)
655		7	\|a Electronic books. \|2 local
710	2		\|a ebrary, Inc.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10017095 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 55086 \|d 55086