Yazar
jean yves girard
12 cilt bulundu.
Jean-Yves Girard, Yves Lafont · Cambridge University Press
394 sayfa · 1995
Symbolic and mathematical Logic / Congresses / Logic, symbolic and mathematical
Jean-Yves Girard · European Mathematical Society
537 sayfa · 2011
Proof theory / Logic / Théorie de la preuve / Mathematical logic / Mathematical logic and foundations
Jean-Yves Girard · Cambridge University Press
192 sayfa · 1989
Computer programming / Symbolic and mathematical Logic / Type theory / Proof theory / Calculus
Jean-Yves Girard, Philip Scott · Cambridge University Press
387 sayfa · 2004
Mathematics / Symbolic and mathematical Logic / Proof theory / Computer science / Computer science, mathematics
Philippe Girard, Yves Marignac, Jean Tassart, France. Commissariat général du plan, France. Mission d'évaluation économique de la filière nucléaire · Le Commissariat général du Plan
434 sayfa · 2000
Nuclear power plants / Risk assessment / Nuclear energy / Economic aspects