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