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

（Technical report, 70-142）

Department of Mathematics, University of Maryland, 1970

注記

"February 9, 1970"

Includes bibliographical references (leaf 66)

• NII書誌ID(NCID): BB27634216
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: College Park, Md.
• ページ数/冊数: 66 leaves
• 大きさ: 28 cm
• 親書誌ID:
  • BB23038615