Coverart for item
The Resource The decision problem : solvable classes of quantificational formulas, Burton Dreben, Warren D. Goldfarb

The decision problem : solvable classes of quantificational formulas, Burton Dreben, Warren D. Goldfarb

Label
The decision problem : solvable classes of quantificational formulas
Title
The decision problem
Title remainder
solvable classes of quantificational formulas
Statement of responsibility
Burton Dreben, Warren D. Goldfarb
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Dreben, Burton
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Goldfarb, Warren D
http://library.link/vocab/subjectName
  • Predicate calculus
  • Unsolvability (Mathematical logic)
Label
The decision problem : solvable classes of quantificational formulas, Burton Dreben, Warren D. Goldfarb
Instantiates
Publication
Note
Includes indexes
Bibliography note
Bibliography: pages 257-260
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
5412670
Dimensions
25 cm
Extent
xii, 271 pages
Isbn
9780201025408
Lccn
79018458
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)94667
Label
The decision problem : solvable classes of quantificational formulas, Burton Dreben, Warren D. Goldfarb
Publication
Note
Includes indexes
Bibliography note
Bibliography: pages 257-260
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
5412670
Dimensions
25 cm
Extent
xii, 271 pages
Isbn
9780201025408
Lccn
79018458
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)94667

Library Locations

    • Mathematical Sciences LibraryBorrow it
      104 Ellis Library, Columbia, MO, 65201, US
      38.944377 -92.326537
Processing Feedback ...