Your search returned 5 results.

Sort
Results
1.
Mathematical logic and theoretical computer science/ edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. by
  • Kueker, D. W, 1943-
  • Lopez-Escobar, Edgar G. K, 1937-
  • Smith, Carl, 1950-
  • University of Maryland, College Park. Dept. of Mathematics
Series: Lecture notes in pure and applied mathematics ; v. 106.
Publication details: New York: M. Dekker, c1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1987 IMPA.

2.
Selected topics in algebra and its interrelations with logic, number theory, and algebraic geometry/ Ionel Bucur ; translated from the Romanian by Mihnea Moroianu. by
  • Bucur, Ion, 1930-1976
Series: Mathematics and its applications (D. Reidel Publishing Company). East European series
Language: engrum
Publication details: Bucarest (Rumânia): Dordrecht ; Boston: Hingham, MA: Editura Academiei, D. Reidel, Kluwer Academic, c1984
Availability: Items available for loan: Castorina (1)Call number: 512 B926s 1984 IMPA.

3.
Introduction to Relation Algebras. Volume 1: Relation Algebras/ by Steven Givant. by
  • Givant, Steven R [author.]
Publisher: Cham, Switzerland: Springer International Publishing, 2018
Other title:
  • Relation Algebras
Availability: Items available for loan: Castorina (2)Call number: 511.324 G539i 2017 IMPA, ...

4.
Théorie générale des structures/ par Valère Glivenko. by
  • Glivenko, V
Series: Exposés d'analyse générale
Publication details: Paris: Hermann, 1938
Availability: Items available for loan: Castorina (1)Call number: 514.74 G561t 1938 IMPA.

5.
Proofs of the Cantor-Bernstein Theorem: a mathematical excursion/ Arie Hinkis. by
  • Hinkis, Arie
Series: Science networks historical studies ; v. 45.
Publication details: [Basel]; Basel: Birkhäuser; Springer, 2013
Availability: Items available for loan: Castorina (1)Call number: 510.92 H663p 2013 IMPA.

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


Powered by Koha