|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 39 of 56 found articles
| Title: |
Notes on the theory of variable binding term operators |
| Author: |
Costa, Newton C.A. da Mortensen, Chris |
| Appeared in: |
History and philosophy of logic |
| Paging: | Volume 4 (1983) nr. 1-2 pages 63-72 |
| Year: |
1983 |
| Contents: |
The general theory of variable binding term operators is an interesting recent development in logic. It opens up a rich class of semantic and model-theoretic problems. In this paper we survey the recent literature on the topic, and offer some remarks on its significances and on its connections with other branches of mathematical logic. |
| Publisher: |
Taylor & Francis |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 39 of 56 found articles
| << previous | next >> |