Research Catalog

Unsolvable classes of quantificational formulas

Title
Unsolvable classes of quantificational formulas / Harry R. Lewis.
Author
Lewis, Harry R.
Publication
Reading, Mass. : Addison-Wesley Pub. Co., 1979.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/textRequest in advance JSE 80-594Offsite

Details

Description
xv, 198 p. : ill.; 24 cm.
Subject
  • Unsolvability (Mathematical logic)
  • Combinatorial analysis
  • Computable functions
Note
  • "Advanced Book Program."
  • Includes indexes.
Bibliography (note)
  • Bibliography: p. 190-194.
Call Number
JSE 80-594
ISBN
0201040697
LCCN
79017573
OCLC
  • 5219400
  • NYPG804358605-B
Author
Lewis, Harry R.
Title
Unsolvable classes of quantificational formulas / Harry R. Lewis.
Imprint
Reading, Mass. : Addison-Wesley Pub. Co., 1979.
Bibliography
Bibliography: p. 190-194.
Research Call Number
JSE 80-594
View in Legacy Catalog