Works matching IS 13670751 AND DT 1997 AND VI 5 AND IP 2
Results: 6
Review: Feasible Mathematics II.
- Published in:
- 1997
- By:
- Publication type:
- Book Review
A Polynomial Translation of S4 into T and Contraction–Free Tableaux for S4.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 2, p. 287, doi. 10.1093/jigpal/5.2.287
- By:
- Publication type:
- Article
Modal Foundations for Predicate Logic.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 2, p. 259, doi. 10.1093/jigpal/5.2.259
- By:
- Publication type:
- Article
On the Foundations of Corecursion.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 2, p. 231, doi. 10.1093/jigpal/5.2.231
- By:
- Publication type:
- Article
Axiomatising Various Classes of Relation and Cylindric Algebras.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 2, p. 209, doi. 10.1093/jigpal/5.2.209
- By:
- Publication type:
- Article
Multiplicative Conjunction as an Extensional Conjunction.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 2, p. 181, doi. 10.1093/jigpal/5.2.181
- By:
- Publication type:
- Article