Your search returned 6 results.

Sort
Results
1.
Theory of formal systems/ Raymond M. Smullyan. by
  • Smullyan, Raymond M
Series: Annals of mathematics studies ; 47
Publication details: Princeton, N.J.: Princeton University Press, 1961
Availability: Items available for loan: Castorina (1)Call number: 511.3 S666t 1961 IMPA.

2.
What is the name of this book?: The riddle of Dracula and other logical puzzles/ Raymond M. Smullyan. by
  • Smullyan, Raymond M
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1978
Availability: Items available for loan: Castorina (1)Call number: 510 S666w 1978 IMPA.

3.
Forever undecided: a puzzle guide to Gödel/ by Raymond Smullyan. by
  • Smullyan, Raymond M
Publication details: Oxford: New York: Oxford University Press, 1988, c1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 S666f 1987 IMPA.

4.
Gödel's incompleteness theorems/ Raymond M. Smullyan. by
  • Smullyan, Raymond M
Series: Oxford logic guides ; 19.
Publication details: New York: Oxford University Press, 1992
Availability: Items available for loan: Castorina (1)Call number: 511.3 S666g 1992 IMPA.

5.
First-order logic/ Raymond M. Smullyan. by
  • Smullyan, Raymond M
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43.
Publication details: New York: Springer-Verlag, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 S666f 1968 IMPA.

6.
A beginner's further guide to mathematical logic/ Raymond Smullyan. by
  • Smullyan, Raymond M [author.]
Publisher: New Jersey: World Scientific, 2017
Availability: Items available for loan: Castorina (1)Call number: 511.3 S666b 2017 IMPA.

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


Powered by Koha