我的图书馆

     
可用条款限制搜索
UNKNOWN
作者 Mirkowska-Salwicka, Grażyna.

题名 Algorithmic logic / G. Mirkowska and A. Salwicki.

出版资料 Dordrecht ; Boston : D. Reidel Pub. Co ; Warszawa : PWN-Polish Scientific Publishers ; Norwell, MA, U.S.A : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1987.

复本

馆藏地 索书号 处理状态
 IU 2nd Floor  QA267.3 .M57 1987    AVAILABLE
载体形态 xi, 372 p : ill ; 23 cm.
Notes Includes index.
Bibliography Bibliography: p. [356]-368.
主题 Formal languages.
Algorithms.
Logic, Symbolic and mathematical.
其它责任者 Salwicki, Andrzej.
国际标准书号 9027719284