A formal system of negationless arithmetic that is conservative with respect to heyting arithmetic

✍ Scribed by V. N. Krivtsov

• Publisher: SP MAIK Nauka/Interperiodica
• Year: 1984
• Tongue: English
• Weight: 514 KB
• Volume: 36
• Category: Article
• ISSN: 0001-4346
• DOI: 10.1007/bf01156470