The Second Renaissance
     
  Rassegna stampa Ricerca
 
  Utente     Password       Non ricordi la password? Clicca qui.    
     
  Informazione
  Approfondimento
  Stampa
     
Navigazione verticale
 
     
  Museo
  Ospitalità
  Edizioni Spirali
  Arte
  Attività
     
Pagine visitate
 Un'inconsistenza...


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 (  )







 
All rights reserved © 2017 - ASSOCIAZIONE AMICI DI SPIRALI