Books listed by ISBN
Guibert Gaëll
g G
·
Gaëll Guibert
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Logique combinatoire et lambda calcul: des logiques d'opérateurs
978-2-36493-53O-3
(2-36493-53O-X)
2016
Desclès Jean Pierre · Sauzay Benoit
Guida Gerosa