Matches in Library of Congress for { <http://lccn.loc.gov/88002770> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 88002770 contributor B5608295.
- 88002770 contributor B5608296.
- 88002770 created "c1988.".
- 88002770 date "1988".
- 88002770 date "c1988.".
- 88002770 dateCopyrighted "c1988.".
- 88002770 description "Bibliography: p. [191]-196.".
- 88002770 extent "xiv, 200 p. ;".
- 88002770 identifier "0262081741".
- 88002770 isPartOf "Foundations of computing".
- 88002770 issued "1988".
- 88002770 issued "c1988.".
- 88002770 language "eng".
- 88002770 publisher "Cambridge, Mass. : MIT Press,".
- 88002770 subject "511.3 19".
- 88002770 subject "Automatic theorem proving.".
- 88002770 subject "Logic, Symbolic and mathematical.".
- 88002770 subject "QA76.9.A96 H39 1988".
- 88002770 title "PX, a computational logic / Susumu Hayashi, Hiroshi Nakano.".
- 88002770 type "text".