> Publishers' series
-
172:
Geometric regular polytopes Peter McMullen, University College London
Cambridge: Cambridge University Press, 2020
-
170:
Proof complexity Jan Krajíček, Charles University, Prague
Cambridge: Cambridge University Press, 2019
-
142:
Boolean functions theory, algorithms, and applications Yves Crama (University of Liège, Belgium), Peter L. Hammer
Cambridge: Cambridge University Press, 2011
-
volume 134:
Boolean models and methods in mathematics, computer science, and engineering edited by Yves Crama, Peter L. Hammer
Cambridge: Cambridge University Press, 2010.
-
volume 51:
Handbook of categorical algebra Francis Borceux
Cambridge: Cambridge University Press, 1994.
-
volume 42:
Model theory Wilfrid Hodges
Cambridge: Cambridge University Press, 1993.