Your search returned 142 results.

Sort
Results
121.
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.

122.
An introduction to mathematical thought/ Edward Russell Stabler. by
  • Stabler, Edward Russell, 1906-
Publication details: Cambridge, Mass.: Addison-Wesley, 1953
Availability: Items available for loan: Castorina (1)Call number: 511.3 S775i 1953 IMPA.

123.
Das Wahrheirsproblem und die Idee der Semantik/ eine Einführung in die Theorien von A. Tarski und R. Carnap. by
  • Stegmüller, Wolfgang
Publication details: Wien: Springer, 1957
Availability: Items available for loan: Castorina (1)Call number: 511.3 W137w 1957 IMPA.

124.
Roads to infinity: the mathematics of truth and proof/ John Stillwell. by
  • Stillwell, John
Publication details: Natick, MA: A K Peters, c2010
Availability: Items available for loan: Castorina (1)Call number: 511.3 S857r 2010 IMPA.

125.
Introduction to logic and to the methodology of deductive sciences/ translated by Olaf Helmer. by
  • Tarski, Alfred, 1901-1983
Series: A Galaxy book ; GB133
Edition: 3d ed. rev.
Language: English Original language: Polish
Publication details: New York: Oxford University Press, 1965
Availability: Items available for loan: Castorina (1)Call number: 511.3 T193i 1965 IMPA.

126.
Sense and reference in Frege's logic. Translated by T. J. Blakeley. by
  • Thiel, Christian
Language: engger
Publication details: Dordrecht ; D. Reidel, [1968]
Availability: Items available for loan: Castorina (1)Call number: 511.3 T431s 1968 IMPA.

127.
The uses of argument/ Stephen Edelston Toulmin. by
  • Toulmin, Stephen Edelston
Publication details: Cambridge, UK: Cambridge University Press, 1994, c1964
Availability: Items available for loan: Castorina (1)Call number: 511.3 T724u 1994 IMPA.

128.
Lectures in logic and set theory/ George Tourlakis. by
  • Tourlakis, George J
Series: Cambridge studies in advanced mathematics ; 82-83.
Edition: 1st pbk. ed.
Publication details: Cambridge, UK; New York: Cambridge University Press, 2010, 2003
Availability: Items available for loan: Castorina (2)Call number: 511.3 T727l 2010 IMPA, ...

129.
Choice sequences: a chapter of intuitionistic mathematics/ by A. S. Troelstra. by
  • Troelstra, A. S. (Anne Sjerp)
Series: Oxford logic guides
Publication details: Oxford: Clarendon Press, 1977
Availability: Items available for loan: Castorina (1)Call number: 511.3 T843c 1977 IMPA.

130.
Introduction to mathematical thinking: the formation of concepts in modern mathematics/ with a foreword by Karl Menger; translated from the German, Einführung in das mathematische Denken, by Theodore J. Benac. by
  • Waismann, Friedrich
Language: engger
Publication details: New York: F. Ungar, [1951]
Availability: Items available for loan: Castorina (1)Call number: 511.3 W143i 1951 IMPA.

131.
Mechanism, mentalism, and metamathematics: an essay on finitism/ Judson Chambers Webb. by
  • Webb, Judson Chambers, 1936-
Series: Synthese library ; v. 137.
Publication details: Dordrecht ; Boston: D. Reidel, c1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 W365m 1980 IMPA.

132.
The continuum: a critical examination of the foundation of analysis/ Hermann Weyl ; translated by Stephen Pollard & Thomas Bole. by
  • Weyl, Hermann, 1885-1955
Language: English Original language: German
Publication details: Kirksville, MO: Lanham, MD: Thomas Jefferson University Press, Arrangement with University Pub. Associates, c1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 W548c 1987 IMPA.

133.
Principia mathematica/ by Alfred North Whitehead and Bertrand Russell. by
  • Whitehead, Alfred North, 1861-1947
  • Russell, Bertrand, 1872-1970
Edition: 2nd ed.
Publication details: Cambridge, UK: Cambridge University Press, 1950
Availability: Items available for loan: Castorina (3)Call number: 511.3 W592p 1950 IMPA, ...

134.
Principia mathematica: to *56/ by Alfred North Whitehead and Bertrand Russell. by
  • Whitehead, Alfred North, 1861-1947
  • Russell, Bertrand, 1872-1970
Edition: Pbk. ed.
Publication details: London: New York: University Press, 1967
Availability: Items available for loan: Castorina (1)Call number: 511.3 W592p 1967 IMPA.

135.
From Euclid to Eddington: a study of conceptions of the external world/ by Sir Edmund Whittaker. by
  • Whittaker, E. T. (Edmund Taylor), 1873-1956
Publication details: New York: Dover, 1958
Availability: Items available for loan: Castorina (1)Call number: 511.3 W624e 1958 IMPA.

136.
Introduction to the foundations of mathematics/ Raymond Louis Wilder. by
  • Wilder, Raymond Louis, 1896-
Publication details: New York: Wiley, [1952]
Availability: Items available for loan: Castorina (1)Call number: 511.3 W673i 1952 IMPA.

137.
Introduction ot the foundations of mathematics/ Raymond Louis Wilder. by
  • Wilder, Raymond Louis, 1896-
Publication details: New York: J. Wiley, 1965
Availability: Items available for loan: Castorina (1)Call number: 511.3 W673i 1965 IMPA.

138.
Remarks on the foundations of mathematics/ Edited by G. H. von Wright, R. Rhees [and] G. E. M. Anscombe. Translated by G.E.M. Anscombe. by
  • Wittgenstein, Ludwig, 1889-1951
Language: engger
Publication details: Oxford: Blackwell, 1956
Availability: Items available for loan: Castorina (1)Call number: 511.3 W831r 1956 IMPA.

139.
Wittgenstein on the foundations of mathematics/ Crispin Wright. by
  • Wright, Crispin, 1942-
Publication details: Cambridge, Mass.: Harvard University Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 W947w 1980 IMPA.

140.
An essay in deontic logic and the general theory of action; With a bibliography of deontic and imperative logic. by
  • Wright, G. H. von (Georg Henrik), 1916-
Series: Acta philosophica Fennica ; fasc. 21
Publication details: Amsterdam ;: North-Holland, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 W947e 1968 IMPA.

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


Powered by Koha