Technical Systems in Logic: Questions of Formalization and Automatic Verification
Logical Investigations
doi 10.21146/2074-1472-2013-19-0-148-165
Full Text
Open PDFAbstract
Available in full text
Date
April 9, 2013
Authors
Publisher
Institute of Philosophy, Russian Academy of Sciences