vix.ing · top · new · best · stats · spec

Henk, Paula

  1. Slow and Ordinary Provability for Peano Arithmetic
    2016/02/04 by Paula Henk, Henk, Paula, Fedor Pakhomov +1 · 2 citations
    Computer Science · Mathematics · #03F15 #03F30 #03F40 #03F45 #03H15 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge