Mathematical logic and formalized theories : a survey of basic concepts and results

著者

• Rogers, Vincent Robert

書誌事項

Mathematical logic and formalized theories : a survey of basic concepts and results

Robert Rogers

North-Holland, 1971

• : ne

注記

Bibliography: p. 227-229

• NII書誌ID(NCID): BA0678614X
• ISBN:
  • 0444100830
  • 0720420512
• LCCN: 78146195
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: xi, 235 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9
  • DC : 511/.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical