Tools

LEADER 01318cam a22003738a 4500

001 ocm29518453;

003 OCoLC;

005 20141212113850.0;

008 931201s1994 enka b 001 0 eng ;

010 a| 93046737;

015 a| GB94-35841;

019 a| 30513596;

020 a| 0132974258;

035 a| (Sirsi) o29518453;

035 a| (OCoLC)29518453;

049 a| EREE;

050 00 a| QA9.63b| .R69 1994;

082 00 a| 511.32| 20;

100 1 a| Rozenberg, Grzegorz.=| ^A83644;

245 10 a| Cornerstones of undecidability /c| Grzegorz Rozenberg and Arto Salomaa.;

260 a| Hemel Hempstead, Hertfordshire ;a| Englewood Cliffs, NJ :b| Prentice Hall,c| 1994.;

300 a| xvi, 197 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. 193-194) and index.;

650 0 a| Unsolvability (Mathematical logic)=| ^A75579;

650 0 a| Decidability (Mathematical logic)=| ^A132062;

653 0 a| Mathematical logic;

700 1 a| Salomaa, Arto.=| ^A51664;

596 a| 1;

998 a| 559135;

999 a| QA9.63 .R69 1994w| LCc| 1i| 30372008470962d| 1/31/2013e| 8/29/2005l| JGESm| JOYNERn| 2p| $33.15q| 1r| Ys| Yt| JGESBKu| 7/19/1994x| BOOKz| JSTACKSo| .STAFF. 0;

Cornerstones of undecidability / Grzegorz Rozenberg and Arto Salomaa.

Author/creator	Rozenberg, Grzegorz
Other author	Salomaa, Arto.
Format	Book
Publication Info	Hemel Hempstead, Hertfordshire ; Englewood Cliffs, NJ : Prentice Hall, 1994.
Description	xvi, 197 pages : illustrations ; 24 cm
Subjects	Unsolvability (Mathematical logic) Decidability (Mathematical logic)

Bibliography note	Includes bibliographical references (p. 193-194) and index.
LCCN	93046737
ISBN	0132974258

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.63 .R69 1994	✔ Available	Place Hold

Cornerstones of undecidability / Grzegorz Rozenberg and Arto Salomaa.

Click here for more information about this title

Availability