The collected works of Alonzo Church

著者

• Church, Alonzo
• Burge, Tyler
• Enderton, Herbert B

書誌事項

The collected works of Alonzo Church

Tyler Burge, chief editor ; Herbert B. Enderton, editor

MIT Press, c2019

注記

Includes bibliographical references and indexes

詳細情報

• NII書誌ID(NCID): BB28525431
• ISBN:
  • 9780262025645
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass. ; London
• ページ数/冊数: xxiv, 1189 p., [12] p. of plates
• 大きさ: 27 cm
• 件名:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Mathematics--Philosophy