5491 - Formal logic (1847)
De Morgan, Augustus (1806-1871)   /   Taylor, Angus Ellis (1911-1999) (Ed.)

Cote : [02 MOR 1926]

5492 - Formal methods : An introduction to symbolic logic and to the study of effective opeations in arithmetic and logic
Beth, Evert Willem (1908-1964)

Cote : [05 BET 62]

5493 - Formal moduli of algebraic structures
Laudal, Olav Arnfinn (1936-....)

Cote : [LNM 754]

5494 - Formal specification and software development
Bjorne, Dines (1937-....)   /   Jones, Cliff B. (1944-....)

Cote : [68 BJO 82]

5495 - 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]

5496 - Formalisme lagrangien et lois de symétrie
Gourdin, Michel

Cote : [90.5 GOU 66]

5497 - Formalisme thermodynamique et systèmes dynamiques holomorphes
Zinsmeister, Michel

Cote : [44 ZIN 96]

5498 - Formalized recursive functionals and formalized realizability
Kleene, Stephen Cole (1909-1994)

Cote : [05 KLE 69]

5499 - Forme differenziali e loro integrali, Centro internazionale matematico estivo 2° Ciclo - Saltino di Vallombrosa, 23-31 Agosto 1960
Rham, Georges De (1903-1990)   /   Fichera, Gaetano (1922-1996)   /   Hodge, William Vallance Douglas (1903-1975)   /   Scott, D. B.   /   Dolbeault, Pierre (1924-2015)   /   Kähler, Erich

Cote : [67 DE-RHA 63]

5500 - Forme quadratique d'enlacement et applications
Lannes, Jean   /   Latour, François

Cote : [51 LAN 75]