Books received.
- Published in:
- 1987
- By:
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 1987 AND VI 46 AND IP 2
Results: 9
1
2
Generic generalized Rosser fixed points.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 193, doi. 10.1007/BF00370381
- By:
- Publication type:
- Article
3
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
4
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
5
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
6
Semi-Post algebras.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 149, doi. 10.1007/BF00370377
- By:
- Publication type:
- Article
7
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
8
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
9
Axiomatizable classes with strong homomorphisms.
- Published in:
- Studia Logica, 1987, v. 46, n. 2, p. 113, doi. 10.1007/BF00370374
- By:
- Publication type:
- Article