User menu

On the Reduction of Type Theory

Bibliographic reference Crabbe, Marcel. On the Reduction of Type Theory. In: Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik, Vol. 29, no. 3, p. 235-237 (1983)
Permanent URL http://hdl.handle.net/2078.1/56514
  1. On the axiomatization of NF. In: Colloque international de Logique, Clermont — Ferrand 1975, pp. 157–159.
  2. Boffa, Set Theory and Hierarchy Theory V, Lecture Notes in Mathematics, 619, 95 (1977)
  3. Grishin, Soviet Math. Dokl., 10, 1387 (1969)
  4. The method of stratification in set theory. Academy of Science of the USSR, Moscow 1973.
  5. Oswald, Arch. für Math. Log., 21, 77 (1981)
  6. Typical ambiguity. In: Logic, Methodology and Philosophy of Science, Stanford 1962, pp. 116–124.