Discover open access scientific publications

Search, annotate, share and cite publications

Publications by А.Н. Непейвода

Technical Systems in Logic: Questions of Formalization and Automatic Verification

Logical Investigations

English