Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
Symbolic Logic and Mechanical Theorem Proving / Chin-Liang CHANG
Symbolic Logic and Mechanical Theorem Proving [printed text] / Chin-Liang CHANG ; Richard Char-tung LEE . - New York : Academic Press, 1973. - (Computer science and applied mathematics) . Pergam ID: MF 6135 Languages : English (eng)
|
Hold
Place a hold on this itemCopies (1)
Barcode | Call number | Media type | Location | Section | Status |
---|---|---|---|---|---|
20.124 | 20.124 | $r non conforme -- | fond | fond | u fondu Available |