Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.

• Set Theory from Cantor to Cohen, by Akihiro KanamoriHistory of the Continuum in the 20th Century, by Juris Stepr¯ansInfinite Combinatorics, by Jean A. LarsonLarge Cardinals with Forcing, by Akihiro KanamoriInner Models for Large Cardinals, by William J. MitchellA Brief History of Determinacy, by Paul B. LarsonSingular Cardinals: From Hausdorff’s Gaps to Shelah’s pcf Theory, by Menachem KojmanAlternative Set Theories, by M. Randall Holmes, Thomas Forster, and Thierry LibertTypes, Sets, and Categories, by John L. BellThe History of Categorical Logic: 1963–1977, by Jean-Pierre Marquis and Gonzalo E. ReyesRussell’s Orders in Kripke’s Theory of Truth and Computational Type Theory, by Fairouz Kamareddine, Twan Laan, and Robert Constable

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.

• Set Theory from Cantor to Cohen, by Akihiro KanamoriHistory of the Continuum in the 20th Century, by Juris Stepr¯ansInfinite Combinatorics, by Jean A. LarsonLarge Cardinals with Forcing, by Akihiro KanamoriInner Models for Large Cardinals, by William J. MitchellA Brief History of Determinacy, by Paul B. LarsonSingular Cardinals: From Hausdorff’s Gaps to Shelah’s pcf Theory, by Menachem KojmanAlternative Set Theories, by M. Randall Holmes, Thomas Forster, and Thierry LibertTypes, Sets, and Categories, by John L. BellThe History of Categorical Logic: 1963–1977, by Jean-Pierre Marquis and Gonzalo E. ReyesRussell’s Orders in Kripke’s Theory of Truth and Computational Type Theory, by Fairouz Kamareddine, Twan Laan, and Robert Constable