Journal: Math. Log. Q.

Volume 31, Issue 35-36

545 -- 549Herman Ruge Jervell. Large Finite Sets
551 -- 556István Szalkai. On the Algebraic Structure of Primitive Recursive Functions
557 -- 568Helmut Pfeiffer. Some System of Predicate Tense Logic
569 -- 573Horst Struve, Rolf Struve. Eine Synthetische Charakterisierung der Cayley-Kleinschen Geometrien