The following pages link to (Q4756727):
Displayed 33 items.
- Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
- An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion (Q662344) (← links)
- Axiomatics of set theory without element relation (Q768277) (← links)
- Logical equations in monadic logic (Q843613) (← links)
- Formal axiomatic theories based on a three-valued logic (Q937906) (← links)
- Natural deduction and arbitrary objects (Q1061731) (← links)
- A second order theory of data types (Q1092657) (← links)
- Hilbert's ``Grundlagen der Geometrie'' (Q1114924) (← links)
- Proof of structural completeness of a certain class of implicative propositional calculi (Q1232282) (← links)
- Hilbert's logic. From axiomatics to proof theory (Q1267397) (← links)
- Reverse mathematics and its meaning (Q1312709) (← links)
- Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations (Q1670971) (← links)
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- On rereading van Heijenoort's selected essays (Q1942099) (← links)
- Hilbert's objectivity (Q2447812) (← links)
- The mathematical universe (Q2481233) (← links)
- Finite set theory, number theory and axioms of limitation (Q2525004) (← links)
- Propositional calculus for contradictory deductive systems (Q2554685) (← links)
- Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie. (Q2590267) (← links)
- Some concepts concerning formal systems of number theory (Q2650392) (← links)
- (Q3265664) (← links)
- Asymptotic Quasi-completeness and ZFC (Q3305340) (← links)
- “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays (Q5013891) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
- The Semantic Function of the Axiomatic Method (Q5057050) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- (Q5546763) (← links)
- Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie (Q5774799) (← links)
- Recursive Functions and Intuitionistic Number Theory (Q5802130) (← links)
- Truth Definitions and Consistency Proofs (Q5812184) (← links)
- Recursive Functions and Intuitionistic Number Theory (Q5833219) (← links)