On Modal Logics of Partial Recursive Functions
Axiomatic Extensions of IMT3 Logic
Some Results on Modal Axiomatization and Definability for Topological Spaces
Frames and MV-algebras
Groups and Plane Geometry
Admissibility of Cut in LC with Fixed Point Combinator
Melvin Fitting, Types Tableaus and Gödel's God
Contents of Volume 81