
Rohit Parikh
(1990-1999)
XLength and structure of proofs
1998
Synthese 114/1
How far can we formalize language games?
1995
in: The foundational debate, Dordrecht : Springer

(1990-1999)
XLength and structure of proofs
1998
Synthese 114/1
How far can we formalize language games?
1995
in: The foundational debate, Dordrecht : Springer