Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Foundations of mathematical logicHaskell B. Curry (Haskell Brooks) 1900New York Dover Publications 1977Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (510.6 C937f ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Logical forms an introduction to philosophical logicR. M Sainsbury (Richard Mark)Oxford, UK Cambridge, Mass. B. Blackwell 2006Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 S132L 2. ed. ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Logique mathématique cours et exercicesRené Cori D Lascar 1942- (Daniel)Paris Masson 1993Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (164 C798L v.2 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Logique, apprentissage et probabilitéLeo Apostel A Jonckheere; Benjamin Matalon 1903-Paris Presses Universitaires de France 1959Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 A645lo e.3 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Introduction to mathematical logicElliott MendelsonPrinceton, N.J. Van Nostrand 1966Localização: ICMC - Inst. Ciên. Mat. Computação (03-01 M537i e.2 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Studies in logic and probabilityGeorge Boole 1815-1864London Watts 1952Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 B724s ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Introduction to symbolic logic and its applicationsRudolf Carnap (Paul Rudolf), 1891-1970 W H Meyer; J WilkinsonNew York Dover Publications 1958Localização: ICMC - Inst. Ciên. Mat. Computação (03-02 C288i e.2 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Introduction á la logistiqueHans Reichenbach 1891-1953Paris Hermann & cie 1939Localização: IF - Instituto de Física (511.3 R351i ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Mathematical Logic: with special reference to the natural numbersStourton William Peile SteenCambridge University Press 1972Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Admissibility of Logical Inference RulesVladimir V. RybakovElsevier 1997Acesso online. A biblioteca também possui exemplares impressos. |