Fundamenta Informaticae > 2017 > Vol. 156, nr 3/4 > 255--280
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2017-1608 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Adamowicz Z, and Zbierski P. Logic of Mathematics: A Modern Course of Classical Logic. John Wiley & Sons, New York, 1997. ISBN: 978-0-471-06026-0.
-
[2] Bell JB. Set Theory. Boolean-Valued Models and Independence Proofs. Third Edition, Oxford Science Publications, Clarendon Press, Oxford, 2005. URL DOI:10.1093/acprof:oso/9780198568520.001.0001.
-
[3] Czelakowski J. Rasiowa-Sikorski Sets and Forcing. In: Larisa Maksimova on Implication, Interpolation, and Definability, (ed. by Sergei Odintsov), Outstanding Contributions to Logic 15, Springer, 2018 pp. 117–153.