RecordNumber
1959
Author
Buchi, J, Richard, 1924- 1984
Title
Collected works of J. Richard Buchi
Author Statement
Saunders maclane
Editor
Dirkes sierkes editors
Publication
Spsinger
Publication Year
c1990
Collation
xvi, 696 p
Subject
Machine theory , Logic, symbolicv and mathematical , Buchi, J. Richard
ADDED ENTRIES
McLane, Sanuders
Main Class
511
Sub Class
.3
Cutter no
B919c
وارد كنندة اطلاعات
fa^d//