@Book {MDKennethWright,

author =       {Kenneth A. Ross, Charles R.B. Wright},
title =        {Matematyka dyskretna},
publisher =    {Wydawnictwo Naukowe PWN},
year =         {2003},

} @Book{WstepDoMWHRasiowa,

author = 	 {Helena Rasiowa },
title = 	 {Wstęp do matematyki współczesnej},
publisher = 	 {Wydawnictwo Naukowe PWN},
year = 	 {1998},

}

@Book{KombinDlaProgramWLipski,

author = 	 {Witold Lipski},
title = 	 {Kombinatoryka dla programistów},
publisher = 	 {Wydawnictwa Naukowo-Techniczne},
year = 	 {2004},

}

@book{DiscrMathNBiggs, author = {Norman L. Biggs}, title = {Discrete mathematics}, year = {1986}, isbn = {0-19-823252-0}, publisher = {Oxford University Press, Inc.}, }

@book{UklCyfroMSkomorowski,

author = 	 {Marek Skomorowski},
title = 	 {Wstęp do projektowania układów cyfrowych},
publisher = 	 {Uniwersytet Jagielloński},
year = 	 {1994},

}

@book{ZasRezolMWojcik, author = {Marek Wójcik}, title = {Zasada Rezolucji - Metoda automatycznego dowodzenia twierdzeń}, publisher = {Wydawnictwo Naukowe PWN}, year = {1991}, }

@book{ElemLogikMarekOnyszkiewicz, author = {Wiktor Marek, Janusz Onyszkiewicz}, title = {Elementy logiki i teorii mnogości w zadaniach}, publisher = {Wydawnictwo Naukowe PWN}, year = {2002}, }

@book{ZadaniaLawrowMaksimowa, author = {Łarisa Maksimowa, Igor Ławrow}, title = {Zadania z Teori Mnogości, Logiki Matematycznej i Teorii Algorytmów}, publisher = {Wydawnictwo Naukowe PWN}, year = {2004}, }

@book{MatZarysDziejowMorawski,

author = 	 {Roman Murawski},
title = 	 {Filozofia Matematyki - Zarys Dziejów},
publisher = 	 {Wydawnictwo Naukowe PWN},
year = 	 {2001},

}