Mathematical Logic and Its Applications

Beschreibung

Autor*in

Dimiter G. Skordev

Themen in »Mathematical Logic and Its Applications«

Cut-elimination theorem algorithms logic mathematical logic predicate logic proof type theory

Stimmen zu »Mathematical Logic and Its Applications«

Details

Link teilen