|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 39 van 56 gevonden artikelen
| Titel: |
Notes on the theory of variable binding term operators |
| Auteur: |
Costa, Newton C.A. da Mortensen, Chris |
| Verschenen in: |
History and philosophy of logic |
| Paginering: | Jaargang 4 (1983) nr. 1-2 pagina's 63-72 |
| Jaar: |
1983 |
| Inhoud: |
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. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 39 van 56 gevonden artikelen
| << vorige | volgende >> |