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

著者

• Surányi, János

書誌事項

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

Verlag der Ungarischen Akademie der Wissenschaften, 1959

注記

Includes bibliography

• NII書誌ID(NCID): BA4014990X
• LCCN: 63001533
• 出版国コード: hu
• タイトル言語コード: ger
• 本文言語コード: ger
• 出版地: Budapest
• ページ数/冊数: 215 p
• 大きさ: 25 cm
• 分類:
  • LCC : BC135
• 件名:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Recursive functions