Treffer: Herbrand-Gödel 1931 - Note introductive

Title:
Herbrand-Gödel 1931 - Note introductive
Authors:
Égré, Paul
Contributors:
Institut Jean-Nicod (IJN), Département d'Etudes Cognitives - ENS-PSL (DEC), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-École des hautes études en sciences sociales (EHESS)-Collège de France (CdF (institution))-Centre National de la Recherche Scientifique (CNRS)-Département de Philosophie - ENS-PSL, Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL), Université Paris Sciences et Lettres (PSL), Michel Bourdeau, Jean Mosconi
Source:
Michel Bourdeau; Jean Mosconi. Anthologie de la calculabilité. :201-211
Publisher Information:
CCSD; Cassini, 2022.
Publication Year:
2022
Collection:
collection:ENS-PARIS
collection:CNRS
collection:EHESS
collection:DEC
collection:PSL
collection:ENS-PSL
collection:CDF-PSL
collection:JEAN-NICOD
Subject Terms:
ACM: F.: Theory of Computation, F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [MATH.MATH-LO]Mathematics [math], Logic [math.LO], [INFO.INFO-LO]Computer Science [cs], Logic in Computer Science [cs.LO], [INFO.INFO-SC]Computer Science [cs], Symbolic Computation [cs.SC]
Original Identifier:
HAL: hal-03917356
Document Type:
Buch bookPart<br />Book sections
Language:
French
ISBN:
978-2-84225-094-2
Availability:
https://hal.science/hal-03917356
Accession Number:
edshal.hal.03917356v1
Database:
HAL

Weitere Informationen

Note introductive à la correspondance entre Jacques Herbrand et Kurt Gödel (1931), in Anthologie de la calculabilité, dirigée par Michel Bourdeau et Jean Mosconi, Cassini, Paris.