1.

電子ブック
ＥＢ
1. Feferman on Foundations : Logic, Mathematics, Philosophy. 1st ed. 2017
edited by Gerhard Jäger, Wilfried Sieg
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: Outstanding Contributions to Logic ; 13
オンライン: https://doi.org/10.1007/978-3-319-63334-3
2.

電子ブック
ＥＢ
2. Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers. 1st ed. 1993
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: https://doi.org/10.1007/3-540-56992-8
3.

電子ブック
ＥＢ
3. Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings. 1st ed. 1992
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 626
オンライン: https://doi.org/10.1007/BFb0023753