Algorithmic logic

Author(s)

• Mirkowska, Grażyna
• Salwicki, Andrzej

Bibliographic Information

Algorithmic logic

G. Mirkowska and A. Salwicki

D. Reidel , PWN-Polish Scientific, c1987

Note

Bibliography: p. [356]-368

Includes index

Details

• NCID: BA01432117
• ISBN:
  • 9027719284
• LCCN: 85002201
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; Tokyo,Warszawa
• Pages/Volumes: xi, 372 p.
• Size: 23 cm.
• Classification:
  • LCC : QA267.3
  • DC19 : 511.3
• Subject Headings:
  • LCSH : Formal languages
  • LCSH : Algorithms
  • LCSH : Logic, Symbolic and mathematical