5501 - Formal logic
Prior, Arthur Norman (1914-1969)

Cote : [05 PRI 55]

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

Cote : [02 MOR 1926]

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

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

Cote : [LNM 754]

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

Cote : [68 BJO 82]

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

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

Cote : [90.5 GOU 66]

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

Cote : [44 ZIN 96]

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

Cote : [05 KLE 69]

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