The collected works of J. Richard Buchi
Saved in:
Main Author: | |
---|---|
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
New York
Springer-Verlag
1990
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-89021769 | ||
002 | 000065849 | ||
008 | 940620s1990 nyua b 00010 eng | ||
020 | # | # | |a 0387970649 |
040 | # | # | |a DLC |c DLC |d DLC |
090 | # | # | |a QA267 |b .B79 1990 |
100 | # | # | |a Buchi, J. Richard |
245 | # | # | |a The collected works of J. Richard Buchi |c Saunders Mac Lane, Dirk Siefkes, editors |
260 | # | # | |a New York |b Springer-Verlag |c 1990 |
300 | # | # | |a xvi, 304 p. |b ill. |c 25 cm |
504 | # | # | |a Includes bibliographical references. |
650 | # | # | |a Logic, Symbolic and mathematical |
650 | # | # | |a Machine theory |
700 | # | # | |a Siefkes, Dirk |
700 | # | # | |a Mac Lane, Saunders |d 1909- |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=89021769 |
964 | # | # | |c BOK |d 01 |