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

Reasoning algebraically about recursion

โœ Scribed by P.H.B. Gardiner; P.K. Pandaya


Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
518 KB
Volume
18
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Reasoning algebraically about loops
โœ R.J.R. Back; J. von Wright ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 163 KB
Reasoning about truth
โœ G. Priest ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 657 KB
Reasoning about equality
โœ E. L. Lusk; R. A. Overbeek ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 787 KB
Propositions about Reasons
โœ Skorupski, John ๐Ÿ“‚ Fiction ๐Ÿ“… 0 ๐ŸŒ English โš– 146 KB
Relativism about Reasons
โœ Nick Tosh ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Springer ๐ŸŒ English โš– 217 KB