✦ LIBER ✦

On the First-Order Logic of Terms

✍ Scribed by Lars Svenonius

Book ID: 124972362
Publisher: Association for Symbolic Logic
Year: 1973
Tongue: English
Weight: 294 KB
Volume: 38
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272053

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

First- and Second-Order Logic of Mass Te

First- and Second-Order Logic of Mass Terms

✍ Peter Roeper 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 219 KB

Categorical abstract algebraic logic cat

Categorical abstract algebraic logic categorical algebraization of first-order logic without terms

✍ George Voutsadakis 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 200 KB

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science Volume 2 || First-Order Logic: Terms and Normal Forms

✍ Ben-Ari, Mordechai 📂 Article 📅 2012 🏛 Springer London 🌐 English ⚖ 220 KB

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to under

[Universitext] A Course on Mathematical

[Universitext] A Course on Mathematical Logic || Syntax of First-Order Logic

✍ Srivastava, Shashi Mohan 📂 Article 📅 2012 🏛 Springer New York ⚖ 166 KB

On the Substitutional Characterization o

On the Substitutional Characterization of First-Order Logical Truth

✍ McKeon, Matthew 📂 Article 📅 2004 🏛 Taylor and Francis Group 🌐 English ⚖ 226 KB

The expressibility of first order dynami

The expressibility of first order dynamic logic

✍ Bin Fu; Qiongzhang Li 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 327 KB