1 - Computer programming and formal systems
Braffort, Paul (1923-....) (Ed.)   /   Hirschberg, David (Ed.)

Cote : [05 BRA 63]

2 - Formal systems and recursive functions : proceedings of the eighth logic colloquium Oxford, July 1963
Crossley, John Newsome (1937-....) (Ed.)   /   Dummett, Michael Anthony Eardley (1925-2011) (Ed.)

Cote : [05 CRO 65]

3 - Jewels of formal language theory
Salomaa, Arto (1934-....)

Cote : [77.9 SAL 81]

4 - Le raisonnement en mathématiques et en sciences expérimentales, Paris 26 septembre - 1er octobre 1955
Chatelet, Albert (Org.)   /   Centre National de la Recherche Scientifique (Ed.)

Cote : [05 CHA 58]

5 - Les limitations internes des formalismes : Etude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
Ladrière, Jean (1921-2007)

Cote : [05 LAD 57]

6 - Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs
Porte, Jean

Cote : [05 POR 65]