Found: 9
Select item for more details and to access through your institution.
Countably-categorical Boolean algebras with distinguished ideals.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 121, doi. 10.1007/BF00370375
- By:
- Publication type:
- Article
A simplification of a completeness proof of Guaspari and Solovay.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 187, doi. 10.1007/BF00370380
- By:
- Publication type:
- Article
Books received.
- Published in:
- 1987
- By:
- Publication type:
- Book Review
A note on syntactical and semantical functions.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 177, doi. 10.1007/BF00370379
- By:
- Publication type:
- Article
Generic generalized Rosser fixed points.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 193, doi. 10.1007/BF00370381
- By:
- Publication type:
- Article
Semi-Post algebras.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 149, doi. 10.1007/BF00370377
- By:
- Publication type:
- Article
Ordered sets R and Q as bases of Kripke models.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 137, doi. 10.1007/BF00370376
- By:
- Publication type:
- Article
Subalgebras and homomorphisms of semi-Post algebras.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 161, doi. 10.1007/BF00370378
- By:
- Publication type:
- Article
Axiomatizable classes with strong homomorphisms.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 113, doi. 10.1007/BF00370374
- By:
- Publication type:
- Article