An algebraic and Kripke-style approach to a certain extension of intuitionistic logic

Author(s)

• Rauszer, Cecylia

Bibliographic Information

An algebraic and Kripke-style approach to a certain extension of intuitionistic logic

Cecylia Rauszer

（Dissertationes mathematicae, 167）

Państwowe Wydawn. Naukowe : [available from Ars Polona], 1980

• pbk.

Note

At head of title: Polska Akademia Nauk, Instytut Matematyczny

Bibliography: p. 59

Includes index

• NCID: BA58504273
• ISBN:
  • 8301011033
• LCCN: 81450172
• Country Code: pl
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Warszawa
• Pages/Volumes: 67 p.
• Size: 24 cm
• Classification:
  • LCC : QA1
  • LCC : QA9.47
  • DC19 : 510 s
  • DC19 : 511/.2
• Subject Headings:
  • LCSH : Intuitionistic mathematics
• Parent Bibliography ID:
  • BA00831274