Bookbot

Combinators, -Terms and Proof Theory

Paramètres

Pages
192pages
Temps de lecture
7heures

En savoir plus sur le livre

Focusing on pure combinatory logic, this monograph explores foundational ideas and their implications in proof theory, alongside the author's original contributions. Revised content from previous notes is presented, correcting earlier inaccuracies. The author acknowledges significant influences from scholars such as Stig Kanger, Per Martin-Löf, Dag Prawitz, and W. W. Tait, as well as feedback from Craig McKay. The work reflects a collaborative spirit while underscoring the author's responsibility for any shortcomings.

Achat du livre

Combinators, -Terms and Proof Theory, S. Stenlund

Langue
Année de publication
2011
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer