activity
20132018
most citedDistributions, their primitives and integrals with applications to differential equations

1 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

math.LO2015

On the construction of fully interpreted formal languages which posses their truth predicates

Seppo Heikkilä

We shall construct by ordinary recursion method subsets to the set of Gödel numbers of the sentences of a language . That language is formed by sentences of a fully…