✦ LIBER ✦

A note on Spector's quantifier-free rule of extensionality

✍ Scribed by Ulrich Kohlenbach

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the system of propositional ca

✍ K. Hałkowska 📂 Article 📅 1967 🏛 Springer Netherlands 🌐 English ⚖ 22 KB

Axiomatic theory of enumeration: a note

✍ P. L. Ferrari; G. Longo 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 354 KB

A note on the applicability of Le Chatel

✍ George Humphrey 📂 Article 📅 1930 🏛 Guilford Publishing Inc 🌐 English ⚖ 201 KB

A note on certain generalizations of the

✍ P. González-Vera; S. González-Pinto; J.C. Santos-León 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 347 KB

A note on the sum rule for the parameter

✍ S.-O. Bäckman 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 258 KB

A note on homomorphisms of a free monoid

✍ C. M. Reis 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 108 KB