Lectures on the Curry-Howard isomorphism

Volltext

Mathematical incompleteness results in first-order Peano arithmetic: a revisionist view of the early history von Kripke, Saul A. 1940-2022

Volltext

Lectures on the Curry-Howard isomorphism von Sørensen, Morten Heine

FAW01
FAW02
Volltext

Lectures on the Curry-Howard isomorphism von Sørensen, Morten Heine

Volltext

The structure of models of Peano arithmetic von Kossak, Roman 1953-, Schmerl, James H.

TUM01
UBT01
URL des Erstveröffentlichers

Von Dedekind zu Zermelo versus Peano zu Gödel von Kahle, Reinhard 1967-

Volltext

Metamathematics of first-order arithmetic von Hájek, Petr, Pudlák, Pavel 1952-

BSB01
FHN01
URL des Erstveröffentlichers

Metamathematics of first order arithmetic von Hájek, Petr 1940-, Pudlák, Pavel

Lectures on the Curry-Howard isomorphism von Srensen, Morten Heine

Aspects of incompleteness von Lindström, Per

Frege, Dedekind and Peano on the foundations of arithmetic von Gillies, Dee A.

Zwei Normalisierungstheoreme für die Peano-Arithmetik 1. Stufe und verwandte Kalküle von Mellis, Werner

Aspects of incompleteness von Lindström, Per 1936-2009

Inhaltsverzeichnis

Aspects of Incompleteness von Lindström, Per 1936-

BSB01
FHN01
URL des Erstveröffentlichers

Metamathematics of first-order arithmetic von Hájek, Petr 1940-, Pudlák, Pavel

Inhaltsverzeichnis

Frege, Dedekind, and Peano on the foundations of arithmetic von Gillies, Donald 1944-

On some orderings of extensions of arithmetic von Bennet, Christian

Lectures on the Curry-Howard isomorphism von Sørensen, Morten Heine, Urzyczyn, Paweł

Publisher description

The structure of models of Peano arithmetic von Kossak, Roman 1953-, Schmerl, James Henry

Table of contents only
Inhaltsverzeichnis

Lectures on the Curry-Howard isomorphism von Srensen, Morten Heine