Vol-4002⫷ Vol-4003 ⫸Vol-4004
urn:nbn:de:0074-4003-0


Vol-4003/paper7⫷Vol-4003/paper8⫸Vol-4003/paper9
Andrea FormisanoIsacco GavazziEugenio G. Omodeo

Diophantine Modeling of Provability in Algebraic Logic