Your search returned 3 results.

Results
	1.	Computation, Proof, Machine : Mathematics Enters a New Age / Gilles Dowek ; translated by Pierre Guillot, Marion Roman. by Dowek, Gilles [author.] Guillot, Pierre [translator.] Roman, Marion [translator.] Publisher: Cambridge : Cambridge University Press, 2015 Online resources: Click here to access online Availability: No items available.
	2.	Computation, proof, machine : mathematics enters a new age / Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman. by Dowek, Gilles [author.] Guillot, Pierre, 1978- [translator.] Roman, Marion [translator.] Edition: First English edition. Language: English Original language: French Publisher: Cambridge : Cambridge University Press, 2015 Online resources: Click here to access online Availability: No items available.
	3.	The exact sciences in antiquity / by O. Neugebauer by Neugebauer, O. (Otto), 1899- Edition: 2nd ed. Publication details: Providence : Brown University Press, 1957 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA22.N36 1957. Place hold

Refine your search