Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Three Uses of the Herbrand-Gentzen Theorem in Relating...

Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory

William Craig
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
22
Langue:
english
Pages:
17
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2963594
Date:
September, 1957
Fichier:
PDF, 1.91 MB
english, 1957
La conversion en est effectuée
La conversion en a échoué