On normalization of proofs in set theory

Author(s)

• Hallnäs, Lars

Bibliographic Information

On normalization of proofs in set theory

Lars Hallnäs

（Dissertationes mathematicae, 261）

Państwowe Wydawn. Naukowe, 1988

Note

Includes bibliographical references (p. [95])

Details

• NCID: BB31579574
• ISBN:
  • 8301076046
• Country Code: pl
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Warszawa
• Pages/Volumes: 100 p.
• Size: 24 cm
• Classification:
  • LCC : QA1
  • LCC : QA248
  • DC20 : 510 s
  • DC20 : 511.3/22
• Subject Headings:
  • LCSH : Set theory
• Parent Bibliography ID:
  • BA00831274