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

The expressibility of first order dynamic logic

โœ Scribed by Bin Fu; Qiongzhang Li


Book ID
112948614
Publisher
Springer
Year
1992
Tongue
English
Weight
327 KB
Volume
7
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On the First-Order Logic of Terms
โœ Lars Svenonius ๐Ÿ“‚ Article ๐Ÿ“… 1973 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 294 KB