Fundamenta Informaticae > 2018 > Vol. 161, nr 1/2 > 191--218
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2018-1700 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Lorenzen P. Logik und Agon. In: Atti del XII Congresso Internazionale di Filosofia, volume 4. 1958 pp. 187-194. Reprinted in [7].
-
[2] Lorenzen P. Ein dialogisches Konstruktivitätskriterium. In: Infinistic Methods. Proceeding of the Symposium on Foundations of Mathematics. 1961 pp. 193-200. Reprinted in [7].
-
[3] Mann AL, Sandu G, Sevenster M. Independence-Friendly Logic - A Game-Theoretic Approach. London Mathematical Society lecture note series. Cambridge Univ. Press, 2011. ISBN-13: 978-0521149341, 10: 0521149347.