Works matching IS 13670751 AND DT 2000 AND VI 8 AND IP 4
Results: 6
On the search for a finitizable algebraization of first order logic.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 4, p. 497, doi. 10.1093/jigpal/8.4.497
- By:
- Publication type:
- Article
An introduction to cylindric set algebras.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 4, p. 451, doi. 10.1093/jigpal/8.4.451
- By:
- Publication type:
- Article
Algebraic polymodal logic: a survey.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 4, p. 393, doi. 10.1093/jigpal/8.4.393
- By:
- Publication type:
- Article
An autobiography of polyadic algebras.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 4, p. 383, doi. 10.1093/jigpal/8.4.383
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 4, p. 379, doi. 10.1093/jigpal/8.4.379
- By:
- Publication type:
- Article
Jon Barwise.
- Published in:
- 2000
- Publication type:
- Obituary