J.J. Joosten
6 titels in de boekenbase · Auteur
Over J.J. Joosten
J.J. Joosten staat met 6 titels in de boekenbase als auteur. Bekend van de series ‘Logic group preprint series’ en ‘Preprint logic series’. Het werk valt vooral onder non-fictie informatief/professioneel algemeen, godsdienstwijsbegeerte en ethiek en theoretische filosofie.
Serie: Preprint series →
The interpretability logic of all reasonable arithmetical theories
J.J. Joosten
The interpretability logic of all reasonable arithmetical theories
J.J. Joosten
Paperback
Modal matters in interpretability logics
E. Goris
Modal matters in interpretability logics
E. Goris
Paperback
Overige titels
Two prooffs of Parsons' theorem
J.J. Joosten
Two prooffs of Parsons' theorem
J.J. Joosten
Paperback
The Closed Fragment of the Interpretability Logic of PRA with a Constant for IE 1
J.J. Joosten
The Closed Fragment of the Interpretability Logic of PRA with a Constant for IE 1
J.J. Joosten
Niet gespecificeerd
A finitary treatment of the closed fragment of Japaridze's provability logic
Lev.D. Beklemishev
A finitary treatment of the closed fragment of Japaridze's provability logic
Lev.D. Beklemishev
Paperback
Propostional proof systems and fast consistency provers
J.J. Joosten
Propostional proof systems and fast consistency provers
J.J. Joosten
Paperback