Proof theoretic semantics and feasibility - Université Paris 1 Panthéon-Sorbonne Accéder directement au contenu
Chapitre D'ouvrage Année : 2013

Proof theoretic semantics and feasibility

Mots clés

Fichier non déposé

Dates et versions

halshs-00775682 , version 1 (18-01-2013)

Identifiants

  • HAL Id : halshs-00775682 , version 1

Citer

Jean Fichot. Proof theoretic semantics and feasibility. Shahid Rahman, John Symons (éds.). Computability and Constructivity, Springer, 2013, Logic, Epistemology, and the Unity of Science. ⟨halshs-00775682⟩
339 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More