Tribhuvan University Central Library

The dicision problem; solvable classes of quantificational formulas.

By: Language: Eng Publication details: Massachusetts: Addison-wesley, 1979Description: xii, 271p. figsSubject(s): DDC classification:
  • 164 D81d
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
General Collections Tribhuvan University Central Library 164 D81d (Browse shelf(Opens below)) Available G33354

Bibliography: p. 257-260