Tools

LEADER 01226cam 2200349 a 4500

001 ocm20296792;

005 20141212075108.0;

008 890816s1990 nyua b 000 0 eng ;

010 a| 89021769;

020 a| 0387970649 (alk. paper);

035 a| (Sirsi) o20296792;

035 a| (OCoLC)20296792;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA267b| .B79 1990;

100 1 a| Büchi, J. Richard.=| ^A252958;

245 14 a| The collected works of J. Richard Büchi /c| Saunders Mac Lane, Dirk Siefkes, editors.;

300 a| xvi, 696 pages :b| illustrations ;c| 25 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references.;

600 10 a| Büchi, J. Richard.=| ^A252958;

650 0 a| Machine theory.=| ^A16040;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Mac Lane, Saunders,d| 1909-2005.=| ^A634770;

700 1 a| Siefkes, Dirk.=| ^A252959;

919 a| BOOK;

596 a| 1;

998 a| 358970;

999 a| QA267 .B79 1990w| LCc| 1i| 30372005497885d| 7/8/1998e| 2/25/1998l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 8/21/1990x| BOOKz| JSTACKSo| .STAFF. 0;

The collected works of J. Richard Büchi / Saunders Mac Lane, Dirk Siefkes, editors.

Author/creator	Büchi, J. Richard
Other author	Mac Lane, Saunders, 1909-2005.
Other author	Siefkes, Dirk.
Format	Book
Publication Info	New York : Springer-Verlag, ©1990.
Description	xvi, 696 pages : illustrations ; 25 cm
Subjects	Büchi, J. Richard. Machine theory. Logic, Symbolic and mathematical.

Bibliography note	Includes bibliographical references.
LCCN	89021769
ISBN	0387970649 (alk. paper)

The collected works of J. Richard Büchi / Saunders Mac Lane, Dirk Siefkes, editors.

Click here for more information about this title