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

Equational fragments of systems for arithmetic

โœ Scribed by Franco Montagna, Valeria Sebastiani


Book ID
118777096
Publisher
Springer
Year
2001
Tongue
English
Weight
161 KB
Volume
46
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Fragments of Heyting Arithmetic
โœ Wolfgang Burr ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 356 KB
Equational classes of Steiner systems
โœ Bernhard Ganter; Heinrich Werner ๐Ÿ“‚ Article ๐Ÿ“… 1975 ๐Ÿ› Springer ๐ŸŒ English โš– 750 KB