Artykuły

Sortuj według

SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE

Reports on Mathematical Logic, 2014, Number 49, s. 23-34
Data publikacji online: 21 października 2014
DOI 10.4467/20842589RM.14.002.2272