Refine your search

Your search returned 326 results.

Sort
Results
81.
Les fondements logiques des mathématiques. by
  • Beth, Evert Willem
Series: Collection de logique mathématique, sér. A ; 1
Edition: 2. éd, rev. et augm.
Publication details: Paris: Gauthier-Villars, 1955
Availability: Items available for loan: Castorina (1)Call number: 511.3 B562f 1955 IMPA.

82.
Solutions to the exercises in First course in mathematical logic/ Frederick Binford. by
  • Binford, Frederick
Publication details: New York: Blaisdell, c1965
Availability: Items available for loan: Castorina (1)Call number: 511.3 B612s 1965 IMPA.

83.
A precis of mathematical logic/ translated from the French and German editions by Otto Bird. by
  • Bochenski, Joseph M, 1902-
Series: Synthese library
Language: engfreger
Publication details: Dordrecht ; D. Reidel, [1959]
Availability: Items available for loan: Castorina (1)Call number: 511.3 B664p 1959 IMPA.

84.
Manuel de logique scientifique, remplaçant et complétant les Éléments de logique scientifique, 1942/ Marcel Boll. by
  • Boll, Marcel, 1886-
Publication details: Paris: Dunod, 1948
Availability: Items available for loan: Castorina (1)Call number: 511.3 B691m 1948 IMPA.

85.
Collected logical works. by
  • Boole, George, 1815-1864
Publication details: La Salle, IL.: Open Court, 1952
Availability: Items available for reference: Castorina: Not For Loan (2).

86.
An investigation of the laws of thought: on which are founded mathematical theories of logic and probabilities. by
  • Boole, George, 1815-1864
Publication details: New York: Dover, 1854
Availability: Items available for reference: Castorina: Not For Loan (1).

87.
Studies in logic and probability. by
  • Boole, George, 1815-1864
Publication details: London: Watts, 1953
Availability: Items available for reference: Castorina: Not For Loan (1).

88.
Computability and logic/ George Boolos, Richard Jeffrey. by
  • Boolos, George
  • Jeffrey, Richard C [joint author.]
Edition: 2d ed.
Publication details: Cambridge, UK: New York: Cambridge University Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 B724c 1980 IMPA.

89.
Computability, complexity, logic/ E. Börger. by
  • Borger, E. (Egon), 1946-
Series: Studies in logic and the foundations of mathematics ; v. 128.
Language: engger
Publication details: Amsterdam ;: New York: New York: North-Holland, U.S.A. and Canada; Elsevier, 1989
Availability: Items available for loan: Castorina (1)Call number: 511.3 B732c 1989 IMPA.

90.
Introducción al simbolismo lógico/ Jorge Bosch. by
  • Bosch, J
Series: Latin American documents ; reel 146, item 9.
Publication details: Buenos Aires: Editorial Universitaria de Buenos Aires, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 B742i 1968 IMPA.

91.
Introducción a la filosofía matemática/ Walther Brand, Marie Deutschbein ; traducción del alemán y notas de R. Ledesma Ramos. by
  • Brand, Walther
  • Deutschbein, Marie
Language: Spanish Original language: German
Publication details: Madrid: Revista de Occidente, c1930
Availability: Items available for loan: Castorina (1)Call number: 511.3 B817i 1930 IMPA.

92.
Advances in contemporary logic and computer science: proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil/ Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by
  • Brazilian Conference on Mathematical Logic (11th: 1996: Salvador, Brazil)
  • Carnielli, Walter A. (Walter Alexandre)
  • D'Ottaviano, Itala M. L, 1944-
Series: Contemporary mathematics (American Mathematical Society) ; v. 235.
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1).

93.
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.

94.
Mathematical fallacies and paradoxes/ Bryan H. Bunch. by
  • Bunch, Bryan H
Publication details: New York: Van Nostrand Reinhold, c1982
Availability: Items available for loan: Castorina (1)Call number: 511.3 B942m 1982 IMPA.

95.
Cabal Seminar 76-77: proceedings, Caltech-UCLA logic seminar 1976-77/ edited by A. S. Kechris and Y. N. Moschovakis. by
  • Cabal Seminar (1976-1977 : California Institute of Technology and University of California, Los Angeles)
  • Kechris, A. S, 1946-
  • Moschovakis, Yiannis N
Series: Lecture notes in mathematics (Springer-Verlag) ; 689.
Publication details: Berlin ; New York: Springer-Verlag, 1978
Availability: Items available for loan: Castorina (1).

96.
Cambridge Summer School in Mathematical Logic: papers/ edited by A. R. D. Mathias and H. Rogers. by
  • Cambridge Summer School in Mathematical Logic (1971)
  • Mathias, A. R. D., (Adrian Richard David), 1944- [ed.]
  • Rogers, H. (Hartley), 1926- [ed.]
Series: Lecture notes in mathematics (Springer-Verlag) ; 337.
Publication details: Berlin: New York: Springer-Verlag, 1973
Availability: Items available for loan: Castorina (1).

97.
Compound statements and mathematical logic/ [by] Vincent E. Cangelosi. by
  • Cangelosi, Vincent E
Series: Merrill's mathematics and quantitative methods series
Publication details: Columbus, Ohio: C.E. Merrill Books, [1967]
Availability: Items available for loan: Castorina (1)Call number: 511.3 C222c 1967 IMPA.

98.
Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen/ Rudolf Carnap. by
  • Carnap, Rudolf, 1891-1970
Edition: 2. neubearb. und erweiterte Aufl.
Publication details: Wien: Springer, 1960
Availability: Items available for loan: Castorina (1)Call number: 511.3 C288e 1960 IMPA.

99.
The logical syntax of language/ by Rudolf Carnap. by
  • Carnap, Rudolf, 1891-1970
  • Smeaton, Amethe [tr.]
Series: International library of psychology, philosophy, and scientific method
Publication details: London: Routledge & K. Paul, [1967, 1937]
Availability: Items available for loan: Castorina (1)Call number: 511.3 C288l 1937 IMPA.

100.
Introduction to symbolic logic and its applications/ Translated by William H. Meyer and John Wilkinson. by
  • Carnap, Rudolf, 1891-1970
Language: engund
Publication details: New York: Dover, [1958]
Availability: Items available for loan: Castorina (1)Call number: 511.3 C288i 1958 IMPA.

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


Powered by Koha