Systematické přístupy a techniky používané k vytváření platných matematických argumentů a prokazování matematických pravd.
Nebyly nalezeny žádné studijní poznámky