An arguable addition to the standard Deduction Theorems of first order theories

Simple item page
dc.creatorAnand, Bhupinder Singh
dc.date2005-02-23
dc.date.accessioned2026-07-07T05:17:26Z
dc.date.available2026-07-07T05:17:26Z
dc.descriptionWe consider the immediate consequence of an arguable addition to the standard Deduction Theorems of first order theories.
dc.description9 pages; an HTML version is available at http://alixcomsi.com/An_arguable_addition.htm
dc.identifierhttps://arxiv.org/abs/math/0502502
dc.identifierhttp://arxiv.org/abs/math/0502502
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/74302
dc.subjectGeneral Mathematics
dc.subject03B10
dc.titleAn arguable addition to the standard Deduction Theorems of first order theories
dc.typetext

Files

Collections

arXiv