L'axiomatisation de la syntaxe et le second theorem de Gödel

Fiche du document

Auteur
Date

1974

Discipline
Type de document
Périmètre
Langue
Identifiants
  • handle:  10670/1.yaiutg
  • PDML_1974__11_4_27_0
  • oai:numdam.org:PDML_1974__11_4_27_0
  • citation: Publications du Département de mathématiques (Lyon), 11, no. 4 (1974) p 27-87
  • MR 381973
  • ZBL 0331.02017
Relations

Ce document est lié à :
0076-1656

Collection

Numdam

Organisation

Cellule Mathdoc



Citer ce document

J. F. Pabion, « L'axiomatisation de la syntaxe et le second theorem de Gödel », Publications du Département de mathématiques (Lyon), ID : 10670/1.yaiutg


Métriques


Partage / Export

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en