D. W. Kueker
Springer Berlin Heidelberg
1975e druk, 1975
9783540074199
Infinitary Logic
In Memoriam Carol Karp
Specificaties
Paperback, 208 blz.
|
Engels
Springer Berlin Heidelberg |
1975e druk, 1975
ISBN13: 9783540074199
Rubricering
Onderdeel van serie
Lecture Notes in Mathematics
Levertijd ongeveer 8 werkdagen
Samenvatting
A Collection of Papers by Varoius Authors
Specificaties
ISBN13:9783540074199
Taal:Engels
Bindwijze:paperback
Aantal pagina's:208
Uitgever:Springer Berlin Heidelberg
Druk:1975
Inhoudsopgave
Back-and-forth arguments and infinitary logics.- Consistency properties for finite quantifier languages.- Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages.- On a finiteness condition for infinitary languages.