vix.ing
·
top
·
new
·
best
·
stats
·
spec
Melgaard, Lukas
Cyclic proofs for arithmetical inductive definitions
2023/06/14 by
Das, Anupam
,
Melgaard, Lukas
· 3 citations
#FOS: Mathematics
#Logic (math.LO)