Herman Ruge Jervell (jervell)

Beiträge zu Philosophie.ch

Bibliography

Jervell, Herman Ruge. 1971. “A Normalform in First Order Arithmetic.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 93–108. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
Jervell, Herman Ruge. 1975. “Conservative Endextensions and the Quantifier ‘There Exist Uncountably Many’ .” in Proceedings of the 3rd Scandinavian Logic Symposion, edited by Stig Kanger, pp. 63–80. Studies in Logic and the Foundations of Mathematics n. 82. Amsterdam: North-Holland Publishing Co.
Jervell, Herman Ruge. 1987. “Reasoning in Trees.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 125–136. New York: Plenum Press.
Jervell, Herman Ruge. 2002. “Review of Urquhart (2000).” The Bulletin of Symbolic Logic 8(1): 100–101, doi:10.2178/bsl/1182353859.

Further References

Urquhart, Alasdair. 2000. “The Complexity of Linear Logic with Weakening.” in Logic Colloquium ’98 – Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic held in Prague, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, pp. 500–515. Lecture Notes in Logic n. 13. Urbana, Illinois: Association of Symbolic Logic; A.K. Peters.