Skip to search
Skip to main content
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
PX, a computational logic / Susumu Hayashi, Hiroshi Nakano.
Author
Hayashi, Susumu, 1953-
[Browse]
Format
Book
Language
English
Published/​Created
Cambridge, Mass. : MIT Press, c1988.
Description
xiv, 200 p. ; 24 cm.
Details
Subject(s)
Automatic theorem proving
[Browse]
Logic, Symbolic and mathematical
[Browse]
Related name
Nakano, Hiroshi
[Browse]
Series
Foundations of computing
[More in this series]
Notes
Includes index.
Bibliographic references
Bibliography: p. [191]-196.
ISBN
0262081741
LCCN
88002770
OCLC
17506282
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage.
Read more...
Other views
Staff view
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
PX, a computational logic / Susumu Hayashi, Hiroshi Nakano.
id
SCSB-6009794
PX, a computational logic / Susumu Hayashi, Hiroshi Nakano.
id
SCSB-2689285