Works matching IS 13670751 AND DT 2018 AND VI 26 AND IP 2
Results: 4
Erratum.
- Published in:
- 2018
- Publication type:
- Correction Notice
Gödel's second incompleteness theorem for Σ<sub>n</sub>-definable theories.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 255, doi. 10.1093/jigpal/jzx061
- By:
- Publication type:
- Article
Compactness, colocatedness, measurability and ED.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 244, doi. 10.1093/jigpal/jzx060
- By:
- Publication type:
- Article
Pattern-based calculi with finitary matching.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 203, doi. 10.1093/jigpal/jzx059
- By:
- Publication type:
- Article