Hilbert's Programs: 1917–1922 (Q4254642): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1990768363 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4893763 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hilbert's program sixty years later / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations for analysis and proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hilbert's logic. From axiomatics to proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4101779 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3737400 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hilbert's program relativized; Proof-theoretical and foundational reductions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5609342 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Grundlagen der Mathematik I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hermann Weyl's Intuitionistic Mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic in the twenties: the nature of the quantifier / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 21:08, 28 May 2024

scientific article; zbMATH DE number 1310722
Language Label Description Also known as
English
Hilbert's Programs: 1917–1922
scientific article; zbMATH DE number 1310722

    Statements