1 - Handbook of metadata, semantics and ontologies
Sicilia, Miguel-Angel (1973-....) (Ed.)

Cote : [77.6 SIC 14]

2 - Aspects of modern logic
Beth, Evert Willem (1908-1964)   /   De Jongh-Kearl, Susan (Trad.)   /   De Jongh, D. H. J. (Trad.)

Cote : [05 BET 70]

3 - Combinators and functional programming languages : proceedings : Thirteenth Spring school of the LITP, Val d'Ajol, France, May 6-10, 1985
Cousineau, Guy (Ed.)   /   Robinet, Bernard (1941-2009) (Ed.)   /   Curien, Pierre-Louis (Ed.)

Cote : [05 COU 86]

4 - Denotational semantics : the Scott-Strachey approach to programming language theory
Stoy, Joseph E.

Cote : [77.5 STO 77]

5 - Elemente der physikalischen semantik
Schleichert, Hubert (1937-....)   /   Kraft, Victor (1880-1975)

Cote : [00 SCHL 66]

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

7 - Handbook of theoretical computer science. Vol. B. : Formal models and semantics
Van Leeuwen, Jan (1946-....) (Ed.)

Cote : [77 VAN-LEE 90-2]

8 - Interactive models of computation and program behavior
Curien, Pierre-Louis   /   Melliès, Paul-André   /   Herbelin, Hugo   /   Krivine, Jean-Louis

Cote : [05 CUR 09]

9 - L'analyse logique des langues naturelles (1968-1978) : anthologie préparée sous la direction de Frédéric Nef
Nef, Frédéric (1947-....) (Sous La Direction De)   /   Centre National de la Recherche Scientifique (Ed.)

Cote : [05 NEF 84]

10 - Logic, semantics, metamathematics, papers from 1923 to 1938
Tarski, Alfred (1901-1983)   /   Woodger, Joseph Henry (1894-1981) (Trad.)

Cote : [05 TAR 56]