header
cover

1 - Natural Language Processing with Transformers
Tunstall, Lewis   /   Werra, Leandro Von   /   Thomas, Wolfgang (1947-....)

Cote : [77 TUN 22]

cover

2 - Computation and proof theory : proceedings of the logic colloquium held in Aachen, July 18-23, 1983. Part II
Richter, Michael M. (1938-....) (Ed.)   /   Börger, Egon (1946-....) (Ed.)   /   Oberschelp, Walter (1933-....) (Ed.)   /   Schinzel, B. (Ed.)   /   Thomas, Wolfgang (1947-....) (Ed.)

Cote : [05 RIC 84-2]

cover

3 - Mathematical logic - Second edition
Ebbinghaus, Heinz-Dieter (1939-....)   /   Flum, Jörg   /   Thomas, Wolfgang (1947-....)

Cote : [05 EBB 94]