Zum Inhalt springen

  6. Kanger, Stig [Sonstige Person, Familie und Körperschaft] ; Scandinavian Logic Symposium (3rd :1973 :University of Uppsala)

    Proceedings of the third Scandinavian Logic Symposium

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Amsterdam; New York: North-Holland, 1975 ; Online-Ausg.: [S.l.]: HathiTrust Digital Library, 2010

    Erschienen in: Studies in logic and the foundations of mathematics ; v. 82

  7. Kanger, Stig

    Alan Ross Anderson. Completeness theorems for the systems E of entailment and EQ of entailment with quantification. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 201–216

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Cambridge University Press (CUP), 1971

    Erschienen in: Journal of Symbolic Logic, 36 (1971) 3, Seite 520-520

  18. Hall, Roland; Kanger, Stig

    Provability in Logic

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Oxford University Press (OUP), 1960

    Erschienen in: The Philosophical Quarterly, 10 (1960) 41, Seite 376

  19. Braffort, Paul [Sonstige Person, Familie und Körperschaft]; Hirschberg, David [Sonstige Person, Familie und Körperschaft] ; ScienceDirect (Online service)

    Computer programming and formal systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Amsterdam: North-Holland, 1963 ; Online-Ausg.: 2010

    Erschienen in: Studies in Logic and the Foundations of Mathematics ; v. 35- Studies in logic and the foundations of mathematics

  20. Braffort, P. [Sonstige Person, Familie und Körperschaft]; Hirschberg, D. [Sonstige Person, Familie und Körperschaft] ; ScienceDirect (Online service)

    Computer programming and formal systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Amsterdam: North-Holland, 1959 ; Online-Ausg.

    Erschienen in: Studies in Logic and the Foundations of Mathematics ; v. 26