main.tex

\input{settings/settings}
\input{chapters/titlepage.tex}

\begin{document}
%%%%% POCZĄTEK ZASADNICZEGO TEKSTU PRACY

\chapter{Wprowadzenie}
\input{chapters/introduction}

\chapter{Techniki dowodowe}
\label{chapter:proofs}
\input{chapters/proofs}

\chapter{Indukcja Matematyczna}
\label{chapter:induction}
\input{chapters/induction}

\chapter{Zbiory}
\label{chapter:sets}
\input{chapters/sets}

\chapter{Relacje}
\label{chapter:relation}
\input{chapters/relation}

\chapter{Zakończenie}
\label{chapter:ending}
\input{chapters/ending}

\begin{thebibliography}{5}

\bibitem{skrypt} W. Charatonik, L. Pacholski, T. Wierzbicki, A. Kościelski  \emph{Logika dla informatyków materiały do zajęć} 
\bibitem{tiuryn} J. Tiuryn  \emph{Wstęp do teorii mnogości i logiki}
\bibitem{mysql} \href{https://www.mysql.com/}{https://www.mysql.com/}
\bibitem{guzicki-zakrzewski} Wojciech Guzicki, Piotr Zakrzewski \emph{Wykłady ze wstępu do matematyki, Wprowadzenie do teorii mnogości} oraz \emph{Wstęp do matematyki. Zbiór zadań}
\bibitem{kuratowski-1} Kazimierz Kuratowski \emph{Wstęp do teorii mnogości i topologii}
\bibitem{kuratowski-2} Kazimierz Kuratowski \emph{Teoria mnogości}
\bibitem{wiktor-onyszkiewicz} Marek Wiktor, Janusz Onyszkiewicz \emph{Elementy logiki i teorii mnogości w zadaniach}
\bibitem{rasiowa} Helena Rasiowa \emph{Wstęp do matematyki współczesnej}
\bibitem{ross-wright} Kenneth A. Ross, Charles R. B. Wright \emph{Matematyka dyskretna}
\bibitem{slupecki-borowski} Jerzy Słupecki, Ludwik Borkowski \emph{Elementy logiki matematycznej i teorii mnogości}
\bibitem{huth-ryan} Michael Huth, Mark Ryan \emph{Logic in computer science}
\bibitem{epp} Susanna S. Epp \emph{Discrete mathematics with applications}
\bibitem{devlin} Keith Devlin \emph{Myślenie matematyczne. Twój nowy sposób pojmowania świata}
\end{thebibliography}

\end{document}