Pages that link to "Item:Q3838112"
From MaRDI portal
The following pages link to On formally undecidable propositions of Principia Mathematica and related systems. Transl. from the German and with a preface by B. Meltzer. With an introduction by R. B. Braithwaite. (Q3838112):
Displaying 6 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman (Q867145) (← links)
- Computational mechanics of input-output processes: structured transformations and the \(\epsilon\)-transducer (Q892410) (← links)
- Automated mutual induction proof in separation logic (Q2414251) (← links)
- On a hitherto unexploited extension of the finitary standpoint. Translation from the German by M. S. Lourenço. (Q3621611) (← links)
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (Q4477873) (← links)