Classical logic under focus : ideality, proofs and computation

Communication dans un congrès Année : 2009

(1)

1

Mattia Petrolo

Philosophie

Liste complète des métadonnées

Format du dépôt	Notice
Type de dépôt	Communication dans un congrès
Titre	en Classical logic under focus : ideality, proofs and computation
Auteur(s)	Mattia Petrolo ¹ 1 UPD7 - Université Paris Diderot - Paris 7 ( 300301 ) - 5 rue Thomas-Mann - 75205 Paris cedex 13 - France
Vulgarisation	Non
Comité de lecture	Oui
Actes	Non
Invité	Non
Langue du document	Anglais
Audience	Non spécifiée
Titre du congrès	IP Fellows Seminar
Date début congrès	2009-04-30
Ville	Paris
Pays	France
Domaine(s)	Sciences de l'Homme et Société/Philosophie

https://hal.science/hal-00588474

Soumis le : samedi 23 avril 2011 à 17:31:16

Dernière modification le : samedi 25 juin 2022 à 20:50:33

hal-00588474, version 1 (23-04-2011)

Mattia Petrolo. Classical logic under focus : ideality, proofs and computation. IP Fellows Seminar, Apr 2009, Paris, France. ⟨hal-00588474⟩

UNIV-PARIS7 LPHSAHP IP HIPHISCITECH

37 Consultations

0 Téléchargements

Dernière date de mise à jour le 28/04/2024