๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

First-order sources in first-order systems: second-order correlations: errata

โœ Scribed by Kauderer, Mark

Book ID
115341658
Publisher
The Optical Society
Year
1991
Tongue
English
Weight
255 KB
Volume
30
Category
Article
ISSN
1559-128X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Characterizing Second Order Logic with F
Characterizing Second Order Logic with First Order Quantifiers
โœ 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.