𝔖 Bobbio Scriptorium
✦   LIBER   ✦

First and second order characterizations of pseudolinear functions

✍ Scribed by S. Komlósi


Book ID
107992355
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
595 KB
Volume
67
Category
Article
ISSN
0377-2217

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Characterizing Second Order Logic with F
✍ David Harel 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.