Discover open access scientific publications

Search, annotate, share and cite publications

Publications by George Tourlakis

A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs

Bulletin of the Section of Logic

English