The Second Renaissance

Navigazione verticale

Pagine visitate

Informazione

Un'inconsistenza nell'Aritmetica di Peano (PA), dimostrata da una prova di consistenza relativa usando l'Aritmentica di Presburger (P*A)

Articolo

Archivio

Articolo scritto da Irving H. Anellis.

Abstract

Articolo pubblicato da Spirali nella rivista "Nominazione. Collana periodica internazionale di logica", La sfida di Peano, n°1, maggio 1980.

Relazioni

vai al numero della rivista	La sfida di Peano (Nominazione. Collana internazionale di logica)
articolo di	Irving H. Anellis ( )