Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe

Author(s)

• Surányi, János

Bibliographic Information

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe

Verlag der Ungarischen Akademie der Wissenschaften, 1959

Note

Includes bibliography

Details

• NCID: BA4014990X
• LCCN: 63001533
• Country Code: hu
• Title Language Code: ger
• Text Language Code: ger
• Place of Publication: Budapest
• Pages/Volumes: 215 p
• Size: 25 cm
• Classification:
  • LCC : BC135
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Recursive functions