>> Google Books
所蔵情報QRコード

Introduction to logic for systems modelling / by Václav Pinkava

資料種別:
図書
出版情報:
Cambridge, Mass. : Abacus Press, 1988
形態:
132 p. ; 25 cm
著者名:
Pinkava, Václav <DA0235902X>  
ISBN:
9780856264313 [0856264318]
書誌ID:
BA03925068
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Wang, Hao, 1921-

Chelsea Pub. Co

Carnap, Rudolf, 1891-1970

Harvard University Press

Grädel, Erich, 1958-, Thomas, Wolfgang, 1947-, Wilke, Thomas, 1965-

Springer

Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

Springer-Verlag

Lightstone, A. H., Enderton, Herbert B

Plenum Press

Church, Alonzo, 1903-

Princeton University Press

Thomason, Richmond H.

Macmillan

T︠S︡etlin, Mikhail Lʹvovich, 1924-1966

Academic Press

Langer, Susanne Katherina Knauth, 1895-1985

Dover Publications

Weisbuch, G., Ryckebusch, Sylvie

Addison-Wesley

Stoli︠a︡r, A. A. (Abram Aronovich)

MIT Press

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12