Girard, Jean-Yves; bibliography by subject

Author Summary
Author Books
Authors Search
Recently Added

Girard, Jean-Yves
(Jean-Yves Girard)

Bibliography of Girard, Jean-Yves, by subject:

The number after the subject (topic or theme) tells how many books on this subject the author has. Please click on the subject to see books. Alternatively, you can see the alphabetically ordered bibliography of Girard, Jean-Yves.

• Proof theory (2)

• Combinatory logic (1)

• Science -- Mathematics -- Pure Mathematics -- Logic (1)

• Science -- General AAS (1)

• Professional & Technical -- Professional Science -- Mathematics -- Pure Mathematics -- Logic (1)

• Science -- Mathematics -- General AAS (1)

• Science -- Mathematics -- General (1)

• Science -- General (1)

• Ordinateurs -- Programmation (1)

• Logique symbolique et mathématique (1)

• Computer systems -- Programming -- Applications of mathematical logic (1)

• Computer programming (1)

• Logic, Symbolic and mathematical (1)

• Lambda calculus (1)

• Logic, Symbolic and mathematical -- Congresses (1)

• Type theory (1)

• Nonfiction -- Philosophy -- Logic & Language (1)

Copyright © 2002-2009 ISBNdb.com

FAQ | Privacy Policy | Contact ISBNdb.com