- Author: Levi van Dam
- Language: English
- Year: 2018
![book Intuitionistic Correspondence Theory [PhD Thesis]](/covers/files_170/1711000/64ad8c2c6fbf85c65e00063eeb97c3c5-g.jpg)
- Author: Rodenburg P.H.
- Language: English
- Year: 1986
- Author: Rodenburg P.H.
- Language: English
- Year: 1986
![book Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]](/covers/files_170/1530000/9024a46d5d609573de363f3f97dd43b3-g.jpg)
- Author: Kees Doets
- Language: English
- Year: 1987
![book Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]](/covers/files_170/1530000/33b04c85ca06772bffbfcf5467c26284-g.jpg)
- Author: Kees Doets
- Language: English
- Year: 1987
![book Extending Modal Logic [PhD Thesis]](/covers/files_170/1529000/27927085a2a791c29572bcf6fc8e4979-g.jpg)
- Author: Maarten de Rijke
- Language: English
- Year: 1993
![book Extending Modal Logic [PhD Thesis]](/covers/files_170/1529000/57329b6192e2598ee0bd390f881843af-g.jpg)
- Author: Maarten de Rijke
- Language: English
- Year: 1993
![book Algebraic Relativization and Arrow Logic [PhD Thesis]](/covers/files_170/1529000/ed0a20096d0c1e2e02c34cff371a6ea5-g.jpg)
- Author: Maarten Marx
- Language: English
- Year: 1995
![book Algebraic Relativization and Arrow Logic [PhD Thesis]](/covers/files_170/1529000/b9992e7661f40c79e615aacab54564fc-g.jpg)
- Author: Maarten Marx
- Language: English
- Year: 1995