Your search returned 9 results.

Sort
Results
1.
Polish logic, 1920-1939/ papers by Ajdukiewicz [and others]; with an introd. by Tadeusz Kotarbinski, edited by Storrs McCall, translated by B. Gruchman [and others] by
  • Ajdukiewicz, Kazimierz
  • Gruchman, Bohdan [tr.]
Publication details: Oxford: Clarendon Press, 1967
Availability: Items available for loan: Castorina (1)Call number: 511.3 P768 1967 IMPA.

2.
Logical dilemmas: the life and work of Kurt Gödel/ John W. Dawson, Jr. by
  • Dawson, John W. (John William), 1944-
Publication details: Wellesley, Mass.: A K Peters, c1997
Availability: Items available for loan: Castorina (1)Call number: 510.9 D272l 1997 IMPA.

3.
Politics, logic, and love: the life of Jean Van Heijenoort/ Anita Burdman Feferman. by
  • Feferman, Anita Burdman
Publication details: Wellesley, Mass.: A K Peters, 1993
Availability: Items available for loan: Castorina (1)Call number: 510.92 F295p 1993 IMPA.

4.
Alfred Tarski: life and logic/ Anita Burdman Feferman, Solomon Feferman. by
  • Feferman, Anita Burdman
  • Feferman, Solomon
Publication details: Cambridge, UK: Cambridge University Press, 2004
Availability: Items available for loan: Castorina (1)Call number: 510.92 F295a 2004 IMPA.

5.
Incompleteness: the proof and paradox of Kurt Gödel/ Rebecca Goldstein. by
  • Goldstein, Rebecca, 1950-
Series: Great discoveries
Edition: 1st ed.
Publication details: New York: W.W. Norton, c2005
Online access:
Availability: Items available for loan: Castorina (1)Call number: 510.92 G624i 2005 IMPA.

6.
George Boole: his life and work/ Desmond MacHale. by
  • MacHale, Des
Series: Profiles of genius series ; v. 2.
Edition: 1st ed.
Publication details: Dublin: Boole, 1985
Availability: Items available for loan: Castorina (1)Call number: 510.92 M149g 1985 IMPA .

7.
The logician and the engineer: how George Boole and Claude Shannon created the information age/ Paul J. Nahin. by
  • Nahin, Paul J
Publisher: Princeton: Princeton University Press, [2013]Copyright date: c2013
Availability: Items available for loan: Castorina (1)Call number: 510.9 N153l 2013 IMPA.

8.
The Boole-De Morgan correspondence, 1842-1864/ edited by G.C. Smith. by
  • Smith, G. C., MA
  • De Morgan, Augustus, 1806-1871
  • Smith, G. C., MA
Series: Oxford logic guides | Oxford science publications
Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1982
Availability: Items available for loan: Castorina (1)Call number: 510.9 S648b 1982 IMPA.

9.
Reflections on Kurt Gödel/ Hao Wang. by
  • Wang, Hao, 1921-
Publication details: Cambridge, Mass.: MIT Press, c1987
Availability: Items available for loan: Castorina (1)Call number: 510.9 W246r 1987 IMPA.

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


Powered by Koha