Lataa...
Effective mathematics of the uncountable /
Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods - some old, some new - that have extended its basic concepts to uncountable structures. Unlike in the classical case, however, no single dominant approach has emerged, and differ...
Muut tekijät: | |
---|---|
Aineistotyyppi: | Printed Book |
Kieli: | English |
Julkaistu: |
New York:
Cambridge University Press,
2013.
|
Sarja: | Lecture notes in logic ;
41. |
Aiheet: |
University of Calicut
Nide | Reaaliaikaista tietoa ei saatavissa |
---|