proof theory

From Tieteen termipankki
todistusteoria (Filosofia)

matemaattisen logiikan haara, joka tutkii joukko-opin ja matematiikan perusteita

Kieliopillinen koodaus (englanti)

Sanaluokka substantiivi
Suku
Alkuperä

Alaviite

Lähdeviittaus tähän sivuun:
Tieteen termipankki 24.03.2023: Nimitys:proof theory. (Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:proof theory.)