Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Recursion Theory: its Generalisations and ApplicationsLogic Colloquium F. R Drake; Frank Robert Drake; S. S Wainer S. S. Wainer; London Mathematical Society.Cambridge Cambridge University Press 1980Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Logic Colloquium 2006Logic Colloquium S. Barry Cooper; Herman Geuvers; Anand Pillay; Jouko Väänänen Anand Pillay Herman Geuvers Jouko Väänänen; Association for Symbolic Logic.Cambridge University Press 2009Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Sets, models and recursion theory proceedingsSummer School in Mathematical Logic (1965 : Leicester) John N Crossley; Logic Colloquium (10. 1965 Leicester)Amsterdam North-Holland 1967Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (510 S955s ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Logic Colloquium '77 Proceedings of the logic colloquiumLogic Colloquium (1977 : Wroclaw, Poland) Jett Paris; Angus Macintyre; Leszek PacholskiAmsterdam North-Holland 1978Localização: IME - Inst. Matemática e Estatística MARTA CAVALLO BUNGE (BUNGE QA9.C L832p 1977 e.2 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Logic Colloquium symposium on logic held at Boston, 1972-73Rohit Parikh 1936-; Logic Colloquium (1972-1973 Boston)Berlin Springer-Verlag New York 1975Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 LNM v.453 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Logic Colloquium '86 proceedings of the colloquium held in Hull, U.K. July 13-19, 1986Logic Colloquium (1986 Hull, Humberside) F. R Drake (Frank Robert); J K TrussAmsterdam North-Holland New York c1988Localização: IME - Inst. Matemática e Estatística (QA9.C L832p 1986 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976Logic Colloquium (1976 : Oxford, GB) Robin O Gandy; John Martin Elliott HylandAmsterdam North-Holland Publishing Company 1977Item não circula. Consulte sua biblioteca.(Acessar) |
8 |
Material Type: Livro
|
![]() |
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966Logic Colloquium (1966 : Hannover, Germany) H. Arnold Schmidt; K Schütte (Kurt); H. J Thiele (Helmut J.); International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science; Logic Colloquium (1966 : Hannover, GE)Amsterdam North-Holland 1968Localização: IME - Inst. Matemática e Estatística MARTA CAVALLO BUNGE (BUNGE QA9.C L832p 1966 e.3 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Logic Colloquium 82 proceedings of the colloquium held in Florence, 23-28 August, 1982Logic Colloquium 82 (Florence) Gabriele Lolli 1942-; G Longo (Guiseppe); A Marcja (Annalisa); Logic Colloquium (1982 Florence)Amsterdam North-Holland Oxford 1984Localização: IME - Inst. Matemática e Estatística (QA9.C L832p 1982 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984Logic Colloquium '84 (Manchester) J. B Paris; A. J Wilkie (Alex J); G. M Wilmers; Logic Colloquium (1984 Manchester)Amsterdam North-Holland Oxford 1986Localização: IME - Inst. Matemática e Estatística (QA9.C L832p 1984 )(Acessar) |