Kategori:Tanıtlama teorisi
Matematiksel mantıkta tanıtlama teorisi, tanıtları formel matematiksel nesneler olarak ele alarak matematiksel tekniklerle analiz edilmelerine olanak sağlar.
Alt kategoriler
Bu kategoride sadece bir alt kategori bulunmaktadır.
T
- Matematiksel tümevarım (2 M)
"Tanıtlama teorisi" kategorisindeki sayfalar
Bu kategoride toplam 2 sayfa bulunmaktadır ve şu anda bunların 2 tanesi görülmektedir.