|
| << 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 7 van 8 gevonden artikelen
| Titel: |
The compactness of first-order logic:from godel to lindstrom |
| Auteur: |
Dawson, John W. |
| Verschenen in: |
History and philosophy of logic |
| Paginering: | Jaargang 14 (1993) nr. 1 pagina's 15-37 |
| Jaar: |
1993 |
| Inhoud: |
Though regarded today as one of the most important results in logic, the compactness theorem was largely ignored until nearly two decades after its discovery. This paper describes the vicissitudes of its evolution and transformation during the period 1930-1970, with special attention to the roles of Kurt Godel, A. I. Maltsev, Leon Henkin, Abraham Robinson, and Alfred Tarski |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 8 gevonden artikelen
| << vorige | volgende >> |