Formulas of one propositional variable in intuitionistic arithmetic

Author(s)

    • de Jongh, D. H. J.

Bibliographic Information

Formulas of one propositional variable in intuitionistic arithmetic

by D. H. J. de Jongh

（Report, 73-03）

Department of Mathematics, University of Amsterdam, 1973

Available at  / 1 libraries

Search this Book/Journal

Note

Bibliography: leaves 15-16

Related Books： 1-1 of 1

  • Report

    Department of Mathematics, University of Amsterdam

Details

  • NCID
    BD03315717
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Amsterdam
  • Pages/Volumes
    16 leaves
  • Size
    30 cm
  • Parent Bibliography ID
Page Top