An algebraic and Kripke-style approach to a certain extension of intuitionistic logic (Dissertationes mathematicae)

by Cecylia Rauszer

Paperback

ISBN: 978-83-01-01103-1

ISBN-10: 83-01-01103-3

[available from Ars Polona] · 1980