Intuitionistic validity on the natural numbers

著者

• Lopez-Escobar, E. G. K. (Edgar G. K.)

書誌事項

Intuitionistic validity on the natural numbers

E.G.K. Lopez-Escobar

In-house reproduction

注記

Reprint. Originally published: Department of Mathematics, University of Maryland, 1970

"TR 70-142"

Bibliography: leaf 66

詳細情報

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