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

Implicational Formulas in Intuitionistic Logic

โœ Scribed by Alasdair Urquhart


Book ID
124972918
Publisher
Association for Symbolic Logic
Year
1974
Tongue
English
Weight
178 KB
Volume
39
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Unification in Intuitionistic Logic
โœ Silvio Ghilardi ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 475 KB