|
Journals in DBLP
Studia Logica 1996, volume: 56, number: 3
- Vladimir Kanovei, Michael Reeken
Internal approach to external sets and universes (Part III). [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:56, n:3, pp:293-322 [Journal]
- Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
Honesty in partial logic. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:56, n:3, pp:323-360 [Journal]
- Miyuki Shirahata
A linear conservative extension of Zermelo-Fraenkel set theory. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:56, n:3, pp:361-392 [Journal]
- Roberto Giuntini
Quantum MV algebras. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:56, n:3, pp:393-417 [Journal]
- Sachio Hirokawa, Yuichi Komori, Izumi Takeuti
A reduction rule for Peirce formula. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:56, n:3, pp:419-426 [Journal]
- F. W. Kroon
The intrinsic difficulty of recursive functions. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:56, n:3, pp:427-454 [Journal]
|