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

A Many-Sorted Natural Deduction

โœ Scribed by A. Cimatti; F. Giunchiglia; R. W. Weyhrauch


Book ID
108507791
Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
157 KB
Volume
14
Category
Article
ISSN
0824-7935

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Many-sorted and single-sorted algebras
โœ Muร„ย‡ka, Anna; Romanowska, Anna B.; Smith, Jonathan D. H. ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Springer ๐ŸŒ English โš– 313 KB
NATURAL DEDUCTION
๐Ÿ“‚ Article ๐Ÿ“… 1966 ๐Ÿ› John Wiley and Sons โš– 149 KB
A Natural Extension of Natural Deduction
โœ Peter Schroeder-Heister ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 355 KB
A deficiency of natural deduction
โœ J.G. Wiltink ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 108 KB
Analytic Natural Deduction
โœ Smullyan, Raymond ๐Ÿ“‚ Fiction ๐Ÿ“… 0 ๐ŸŒ English โš– 845 KB