THE -PRIKRY CONDITION.
- Published in:
- Reports on Mathematical Logic, 2018, n. 53, p. 111, doi. 10.4467/20842589RM.18.007.8840
- By:
- Publication type:
- Article
Works matching IS 01372904 AND DT 2018
Results: 7
1
2
A GENERAL EXTENSION THEOREM FOR DIRECTED-COMPLETE PARTIAL ORDERS.
- Published in:
- Reports on Mathematical Logic, 2018, n. 53, p. 79, doi. 10.4467/20842589RM.18.005.8838
- By:
- Publication type:
- Article
3
ON PCF SPACES WHICH ARE NOT FRÉCHET-URYSOHN.
- Published in:
- Reports on Mathematical Logic, 2018, n. 53, p. 67, doi. 10.4467/20842589RM.18.004.8837
- By:
- Publication type:
- Article
4
A SEMANTICAL ANALYSIS OF CUT-FREE CALCULI FOR MODAL LOGICS.
- Published in:
- Reports on Mathematical Logic, 2018, n. 53, p. 43, doi. 10.4467/20842589RM.18.003.8836
- By:
- Publication type:
- Article
5
A CUT-FREE PROOF SYSTEM FOR A PREDICATE EXTENSION OF THE LOGIC OF PROVABILITY.
- Published in:
- Reports on Mathematical Logic, 2018, n. 53, p. 97, doi. 10.4467/20842589RM.18.006.8839
- By:
- Publication type:
- Article
6
ON THE COMPLEXITY OF THE STANDARD TRANSLATION OF LAMBDA CALCULUS INTO COMBINATORY LOGIC.
- Published in:
- Reports on Mathematical Logic, 2018, n. 53, p. 19, doi. 10.4467/20842589rm.18.002.8835
- By:
- Publication type:
- Article
7
SETS WITH NO SUBSETS OF HIGHER WEAK TRUTH-TABLE DEGREE.
- Published in:
- Reports on Mathematical Logic, 2018, n. 53, p. 3, doi. 10.4467/20842589RM.18.001.8834
- By:
- Publication type:
- Article