Seymor Lipschutz, Marc Lipson: Schaum's Outline of Discrete Mathematics. McGraw Hill Professional, 1997, ISBN 978-0-07-136841-4, S.33 (google.de [abgerufen am 18. Mai 2023]).
Seymor Lipschutz, Marc Lipson: Schaum's Outline of Discrete Mathematics. McGraw Hill Professional, 1997, ISBN 978-0-07-136841-4, S.34 (google.de [abgerufen am 18. Mai 2023]).
Dov M. Gabbay, John Woods: The Rise of Modern Logic: from Leibniz to Frege. Elsevier, 2004, ISBN 978-0-08-053287-5, S.509 (google.de [abgerufen am 18. Mai 2023]).
Seymor Lipschutz, Marc Lipson: Schaum's Outline of Discrete Mathematics. McGraw Hill Professional, 1997, ISBN 978-0-07-136841-4, S.35 (google.de [abgerufen am 18. Mai 2023]).