Albert Visser
New constructions of satisfaction classes
2015
in: Unifying the philosophy of truth, Dordrecht : Springer
Problems in the logic of provability
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer
New constructions of satisfaction classes
2015
in: Unifying the philosophy of truth, Dordrecht : Springer
Problems in the logic of provability
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer