5491 - Formal category theory : adjointness for 2-categories
Gray, Walker John (1931-....)

Cote : [12 GRA 74]

5492 - Formal concept analysis : mathematical foundations
Ganter, Bernhard   /   Wille, Rudolf   /   Franze, Cornelia (Trad.)

Cote : [11 GAN 99]

5493 - Formal groups and applications
Hazewinkel, Michiel (1943-....)

Cote : [18 HAZ 78]

5494 - Formal language theory : perspectives and open problems : Proceedings of a Symposium held at Santa Barbara, Californy, December 10-14, 1979
Book, Ronald Vernon (1937-1997)

Cote : [68 BOO 80]

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

Cote : [05 PRI 55]

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

Cote : [02 MOR 1926]

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

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

Cote : [LNM 754]

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

Cote : [68 BJO 82]

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