Your search returned 2 results.

Sort
Results
1.
Computation, proof, machine: mathematics enters a new age/ Gilles Dowek. by
  • Dowek, Gilles
  • Guillot, Pierre, 1978-
  • Roman, Marion
Edition: First English edition.
Publisher: New York, NY: Cambridge University Press, 2015
Other title:
  • Mathematics enters a new age
Availability: Items available for loan: Castorina (1)Call number: 510.9 D746c 2007 IMPA.

2.
A gentle course in local class field theory: local number fields, Brauer groups, Galois cohomology/ Pierre Guillot (University of Strasbourg). by
  • Guillot, Pierre, 1978-
Publisher: Cambridge; New York, NY: Cambridge University Press, 2018
Availability: Items available for loan: Castorina (1)Call number: 512.3 G962g 2018 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha