Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Latin-American Symposium on Mathematical Logic 14 träffar

Titel Författare År Språk
1 Mathematical logic in Latin America electronic resource : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa 4th Latin-American Symposium on Mathematical Logic uuuu-uuuu Okänt
2 Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa Latin-American Symposium on Mathematical Logic Santiago de Chile) 1978 : (4th uuuu-uuuu Okänt
3 Non-classical logics, model theory, and computability electronic resource : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui Latin-American Symposium on Mathematical Logic State University of Campinas) 1976 : (3rd uuuu-uuuu Okänt
4 Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui Latin-American Symposium on Mathematical Logic State University of Campinas) 1976 : (3rd uuuu-uuuu Okänt
5-6 Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors (flera utgåvor) 1985 : issuing body. (7th Latin-American Symposium on Mathematical Logic State University of Campinas) uuuu-uuuu Okänt
7 Provability, Computability and Reflection Latin-American Symposium on Mathematical Logic 1977 Engelska
8 Mathematical logic in Latin America - proceedings of the IV Latin American symposium on mathematical logic held in Santiago, December 1978 Latin-American symposium on mathematical logic Santiago : 1978) 1980 Engelska
9 Non-classical logics, model theory and computability - proceedings of the third Latin-American symposium on mathematical logic, Campinas, Brazil, July 11-17, 1976 Latin-American symposium on mathematical logic Campinas : 1976) 1977 Engelska
10 Methods and applications of mathematical logic - proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985, at the State University of Campinas Latin-American Symposium on Mathematical Logic 1985 : Campinas) cop. 1988 Engelska
11 Methods in mathematical logic - proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983 Latin-American Symposium on Mathematical Logic 1983) Caracas : cop. 1985 Engelska
12 Models, algebras, and proofs - selected papers of the X Latin American symposium on mathematical logic held in Bogotá Colombia) Latin-American symposium on mathematical logic 1996 : Bogotá cop. 1999 Engelska
13 Proceedings of the IX Latin American Symposium om Mathematical Logic, held at the Universidad Nacional del Sur, Bahía Blanca, Argentina, from 3 to 8 August, 1992 Latin American Symposium on Mathematical Logic Bahía Blanca : 1992) 1993 Engelska
14 Proceedings of the IX Latin American Symposium om Mathematical Logic, held at the Universidad Nacional del Sur, Bahía Blanca, Argentina, from 3 to 8 August, 1992 P. 1 Latin American Symposium on Mathematical Logic Bahía Blanca : 1992) 1993 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.