Pages that link to "Item:Q2644945"

The following pages link to The inconsistency of certain formal logics (Q2644945):

Displaying 21 items.

• Arithmetic based on the Church numerals in illative combinatory logic (Q1115414) (← links)
• Sixty years after Gödel (Q1178182) (← links)
• What the Liar taught Achilles (Q1283319) (← links)
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
• Gödel's reception of Turing's model of computability: the ''shift of perception'' in 1934 (Q2011634) (← links)
• Mengentheoretische Begründung der Logik. (Q2603384) (← links)
• Mengentheoretische Begründung der Logik (Q2645873) (← links)
• On the foundations of mathematical economics (Q2873497) (← links)
• Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I (Q3255342) (← links)
• An Introduction to the Lambda Calculus (Q3599178) (← links)
• Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
• Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525) (← links)
• The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
• Russell's 1903 - 1905 Anticipation of the Lambda Calculus (Q4448890) (← links)
• Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic (Q4722038) (← links)
• The Mathematical Work of S.C.Kleene (Q4837673) (← links)
• (Q5119396) (← links)
• HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER (Q5408360) (← links)
• Why Sets? (Q5452179) (← links)
• On the consistency of Quine's <i>New foundations for mathematical logic</i> (Q5772178) (← links)
• Recursive Predicates and Quantifiers (Q5843994) (← links)