Significato e verita nell'aritmetica peaniana (Q1221103): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetization of metamathematics in a general setting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Limiting recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5571677 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solution of a problem of Leon Henkin / rank
 
Normal rank
Property / cites work
 
Property / cites work: Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4046030 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5320764 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trial and error predicates and the solution to a problem of Mostowski / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573961 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5537599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5761282 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 16:37, 12 June 2024

scientific article
Language Label Description Also known as
English
Significato e verita nell'aritmetica peaniana
scientific article

    Statements

    Identifiers