A unified treatment of elementary proof theory

著者

• Scanlon, Thomas

書誌事項

A unified treatment of elementary proof theory

by Thomas Michael Scanlon, Jr.

In-house reproduction

注記

Originally published: Cambridge, Mass. : Harvard University , 1968

Thesis (Ph. D.)--Harvard University, 1968

• NII書誌ID(NCID): BC18325397
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• ページ数/冊数: 271 leaves
• 大きさ: 29 cm