Formulas of one propositional variable in intuitionistic arithmetic

著者

• de Jongh, D. H. J.

書誌事項

Formulas of one propositional variable in intuitionistic arithmetic

by D. H. J. de Jongh

（Report, 73-03）

Department of Mathematics, University of Amsterdam, 1973

注記

Bibliography: leaves 15-16

詳細情報

• NII書誌ID(NCID): BD03315717
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: 16 leaves
• 大きさ: 30 cm
• 親書誌ID:
  • BB13374037