Your search returned 59 results.

Sort
Results
1.
Studies in subjective probability/ Edited by Henry E. Kyburg, Jr. and Howard E. Smokler. by
  • Smokler, Howard Edward, 1928- [joint ed.]
  • Kyburg, Henry Ely, 1928-
Publication details: New York: Wiley, [1964]
Availability: Items available for loan: Castorina (1)Call number: 519.2 S933 1964 IMPA.

2.
Foundations - logic, language, and mathematics/ edited by Hugues Leblanc, Elliott Mendelson, and Alex Orenstein. by
  • Leblanc, Hugues, 1924-
  • Mendelson, Elliott
  • Orenstein, Alex
Publication details: Dordrecht ; Boston: D. Reidel, c1984
Availability: Items available for loan: Castorina (1)Call number: 511.3 F771 1984 IMPA.

3.
Contributions to logic and methodology in honor of J. M. Bochenski./ Edited by Anna-Teresa Tymieniecka in collaboration with Charles Parsons. by
  • Tymieniecka, Anna-Teresa
  • Bochenski, Joseph M, 1902-
Publication details: Amsterdam ;: North-Holland, 1965
Availability: Items available for loan: Castorina (1)Call number: 510.92 C764 1965 IMPA.

4.
Scienza e filosofia: saggi in onore di Ludovico Geymonat/ a cura di Corrado Mangione. by
  • Geymonat, Ludovico
  • Mangione, Corrado
Series: Saggi rossi. Scacco bianco
Edition: 1a ed.
Language: itaengger
Publication details: Milano: Garzanti, 1985
Availability: Items available for loan: Castorina (1)Call number: 510.1 S416 1985 IMPA.

5.
E.W. Beth memorial colloquium: logic and foundations of science, Paris, Institut Henri Poincaré, 19-21 May 1964/ edited by Jean Louis Destouches. by
  • Destouches, Jean-Louis [ed.]
Publication details: Dordrecht: Reidel, 1967
Availability: Items available for loan: Castorina (1)Call number: 510.92 B562 1967 IMPA.

6.
From logic to practice: Italian studies in the philosophy of mathematics/ Gabriele Lolli, Marco Panza, Giorgio Venturi, editors. by
  • Lolli, Gabriele, 1942
  • Panza, Marco [editor.]
  • Venturi, Giorgio [editor.]
Series: Boston studies in the philosophy and history of science ; v. 308.
Publisher: Cham: Springer, [2015]
Availability: Items available for loan: Castorina (1)Call number: 511.3 F931 2015 IMPA.

7.
Eudemus of Rhodes/ edited by Istvan Bodnar, William W. Fortenbaugh. by
  • Bodnar, Istvan
  • Fortenbaugh, William W (William Wale)
Series: Rutgers University studies in classical humanities ; 11.
Publication details: New Brunswick, NJ: Transaction, c2002
Availability: Items available for loan: Castorina (1)Call number: 510.9 E86 2002 IMPA.

8.
Logic: the theory of formal inference/ Alice Ambrose and Morris Lazerowitz. by
  • Ambrose, Alice, 1906-
  • Lazerowitz, Morris, 1909- [joint author.]
Publication details: New York: Holt, Rinehart and Winston, [1961]
Availability: Items available for loan: Castorina (1)Call number: 511.3 A496l 1961 IMPA.

9.
Aspects of modern logic/ [By] Evert W. Beth. by
  • Beth, Evert Willem
Series: Synthese library
Language: engdut
Publication details: Dordrecht ; Reidel, [1970]
Availability: Items available for loan: Castorina (1)Call number: 511.3 B562a 1970 IMPA.

10.
Ancient formal logic. by
  • Bochenski, Innocentius Marie, 1902-
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ; North-Holland, 1951
Availability: Items available for loan: Castorina (1)Call number: 511.3 B664a 1951 IMPA.

11.
The mathematical analysis of logic: being an essay towards a calculus of deductive reasoning/ by George Boole. by
  • Boole, George, 1815-1864
Publication details: Cambridge, UK: Macmillan, 1847
Availability: Items available for loan: Castorina (1)Call number: 511.3 B724m 1847 IMPA.

12.
Logic: or, The morphology of knowledge/ by Bernard Bosanquet. by
  • Bosanquet, Bernard, 1848-1923
Publication details: Oxford: At the Clarendon Press, 1888
Availability: Items available for loan: Castorina (2)Call number: 511.3 B741l 1888 IMPA, ...

13.
Induction, probability, and causation. Selected papers/ By C. D. Broad. by
  • Broad, C. D. (Charlie Dunbar), 1887-1971
Series: Synthese library
Publication details: Dordrecht ; D. Reidel, [1968]
Availability: Items available for loan: Castorina (1)Call number: 510.1 B863i 1968 IMPA.

14.
L'ancienne et la nouvelle logique/ par Rudolf Carnap; traduction du général Ernest Vouillemin, revue et mise à jour par l'auteur; introduction de M. Marcel Boll. by
  • Carnap, Rudolf, 1891-1970
  • Vouillemin, Charles Ernest, b. 1865 [translator.]
Series: Actualités scientifiques et industrielles ; 76
Language: French Original language: Undetermined
Publication details: Paris: Hermann, 1933
Availability: Items available for loan: Castorina (1)Call number: 511.3 C288a 1933 IMPA.

15.
Analysis and Synthesis of Logics [electronic resource]: How to Cut and Paste Reasoning Systems/ by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by
  • Carnielli, Walter A. (Walter Alexandre)
  • Coniglio, Marcelo
  • Gabbay, Dov M
  • Gouveia, Paula
  • Sernadas, Cristina
  • SpringerLink (Online service)
Series: Applied Logic Series ; 35
Source: Springer eBooks
; Format: electronic available online remote
Publication details: Dordrecht ;: Springer, 2008
Availability: No items available.

16.
Sur la logique et la théorie de la science/ par Jean Cavaillès. by
  • Cavaillès, Jean, 1903-1944
Series: Bibliothèque de philosophie contemporaine. Logique et philosophie des sciences
Edition: 1re éd.
Publication details: Paris: Presses universitaires de France, 1947
Availability: Items available for loan: Castorina (1)Call number: 511.3 C376s 1947 IMPA.

17.
Le principe de la méthode infinitésimale et son histoire/ H. Cohen ; introd., trad., et annoté par Marc de Launay. by
  • Cohen, Hermann, 1842-1918
Series: Bibliothèque des textes philosophiques
Publication details: Paris: Vrin, 1999
Availability: Items available for loan: Castorina (1)Call number: 510.92 C678p 1999 IMPA.

18.
An introduction to logic and scientific method/ by Morris R. Cohen and Ernest Nagel. by
  • Cohen, Morris Raphael, 1880-1947
  • Nagel, Ernest, 1901- [joint author.]
Publication details: New York: Harcourt, Brace and company, [c1934]
Availability: Items available for loan: Castorina (1)Call number: 511.3 C678i 1934 IMPA.

19.
A primer of formal logic/ by John Cooley, Ph.D. by
  • Cooley, John C. (John Cleveland), 1903-
Publication details: New York: The Macmillan Company, 1942
Availability: Items available for loan: Castorina (1)Call number: 511.3 C774p 1942 IMPA.

20.
La logique de Leibniz: D'après des documents inédits. by
  • Couturat, Louis, 1868-1914
Series: Olms paperbacks ; Bd. 38
Publication details: Hildesheim: G. Olms, 1969
Availability: Items available for loan: Castorina (1)Call number: 510.92 C872l 1969 IMPA.

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


Powered by Koha