Works matching IS 09335846 AND DT 2002 AND VI 41 AND IP 7
1
- Archive for Mathematical Logic, 2002, v. 41, n. 7, p. 603, doi. 10.1007/s001530100133
- Article
2
- Archive for Mathematical Logic, 2002, v. 41, n. 7, p. 619
- Mlček, Josef;
- Zlatoš, Pavol
- Article
3
- Archive for Mathematical Logic, 2002, v. 41, n. 7, p. 631, doi. 10.1007/s001530100125
- Article
4
- Archive for Mathematical Logic, 2002, v. 41, n. 7, p. 643, doi. 10.1007/s001530100128
- Biacino, Loredana;
- Gerla, Giangiacomo
- Article
5
- Archive for Mathematical Logic, 2002, v. 41, n. 7, p. 669, doi. 10.1007/s001530100116
- Article
6
- Archive for Mathematical Logic, 2002, v. 41, n. 7, p. 673, doi. 10.1007/s001530100114
- Di Nola, Antonio;
- Esteva, Francesc;
- Garcia, Pere;
- Godo, Lluís;
- Sessa, Salvatore
- Article
7
- Archive for Mathematical Logic, 2002, v. 41, n. 7, p. 687, doi. 10.1007/s001530100123
- Coquand, Thierry;
- Palmgren, Erik
- Article