Zum Inhalt springen

  1. Arruda, Ayda I. [Herausgeber:in] ; Latin American Symposium on Mathematical Logic 3 1976 Campinas, São Paulo

    Non-classical logics, model theory, and computability : proceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.]: North-Holland, 1977

    Erschienen in: Latin American Symposium on Mathematical Logic: Proceedings of the Latin American Symposium on Mathematical Logic ; 1976,0000,30 - Studies in logic and the foundations of mathematics ; 8900

  2. Crossley, John N. [Herausgeber:in] ; Summer School in Mathematical Logic 1965 Leicester, Logic Colloquium 10 1965 Leicester

    Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August - September 1965

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam: North-Holland, 1967

    Erschienen in: Studies in logic and the foundations of mathematics

  3. Ferreira, Fernando [Herausgeber:in]; Löwe, Benedikt [Sonstige Person, Familie und Körperschaft]; Mayordomo, Elvira [Sonstige Person, Familie und Körperschaft]; Mendes Gomes, Luís [Sonstige Person, Familie und Körperschaft] ; Conference on Computability in Europe 6 2010 Ponta Delgada

    Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6158