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

๐Ÿ“

Logic in Algebraic Form, Three Languages and Theories

โœ Scribed by William Craig


Publisher
Elsevier Science
Year
1974
Tongue
English
Leaves
208
Series
Studies in Logic and the Foundations of Mathematics
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Proof Theory and Algebra in Logic
โœ Hiroakira Ono ๐Ÿ“‚ Library ๐Ÿ“… 2019 ๐Ÿ› Springer Singapore ๐ŸŒ English

<p>This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete re