Home > Zeitschrift > Journal Issue
Jahr: 2011
Reihe: Synthese
Volle Referenz:
Synthese 183 (2), 2011.
Inhalte
127-142
143-160
161-174
175-185
a theory of assertion for constructive type theory
187-210
a positive argument
211-227
229-247
a lewisian approach
249-276