Your search returned 2 results.

Sort
Results
1.
The two-valued iterative systems of mathematical logic/ by Emil L. Post. by
  • Post, Emil Leon, 1897-1954
Series: Annals of mathematics studies ; no. 5
Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1941
Availability: Items available for loan: Castorina (1)Call number: 511.3 P857e 1941 IMPA.

2.
Solvability, provability, definability: the collected works of Emil L. Post/ Martin Davis, editor. by
  • Post, Emil Leon, 1897-1954
  • Davis, Martin, 1928-
Series: Contemporary mathematicians
Publication details: Boston: Birkhäuser, 1994
Availability: Items available for reference: Castorina: Not For Loan (1).

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


Powered by Koha