Zum Inhalt springen

  2. Hindley, James Roger [Verfasser:in]; Lercher, Bruce [Verfasser:in]; Seldin, Jonathan P. [Verfasser:in] ; Lercher, B. [Sonstige Person, Familie und Körperschaft]; Seldin, Jonathan Paul [Sonstige Person, Familie und Körperschaft]

    Introduction to combinatory logic

    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.

    Cambridge: Cambridge Univ. Press, 1972

    Erschienen in: London Mathematical Society: Lecture note series / London Mathematical Society ; 7

  4. Thompson, Luke R. [Verfasser:in]; Sanders, Jon G. [Verfasser:in]; McDonald, Daniel [Verfasser:in]; Amir, Amnon [Verfasser:in]; Ladau, Joshua [Verfasser:in]; Locey, Kenneth J. [Verfasser:in]; Prill, Robert J. [Verfasser:in]; Tripathi, Anupriya [Verfasser:in]; Gibbons, Sean M. [Verfasser:in]; Ackermann, Gail [Verfasser:in]; Navas-Molina, Jose A. [Verfasser:in]; Janssen, Stefan [Verfasser:in]; Kopylova, Evguenia [Verfasser:in]; Vázquez-Baeza, Yoshiki [Verfasser:in]; González, Antonio [Verfasser:in]; Morton, James T. [Verfasser:in]; Mirarab, Siavash [Verfasser:in]; Zech Xu, Zhenjiang [Verfasser:in]; Jiang, Lingjing [Verfasser:in]; Haroon, Mohamed F. [Verfasser:in]; Kanbar, Jad [Verfasser:in]; Zhu, Qiyun [Verfasser:in]; Jin Song, Se [Verfasser:in]; Kosciolek, Tomasz [Verfasser:in]; [...]

    A communal catalogue reveals Earth’s multiscale microbial diversity

    Aufsätze
    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.

    Nature Research, 2017-11-23

  14. Seldin, Jonathan P.

    Review: La Logique Combinatoire

    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.

    The Association for Symbolic Logic, Inc., 1999

    Erschienen in: The Journal of Symbolic Logic, 64 (1999) 4, Seite 1833-1834

  18. Seldin, Jonathan P.

    Normalization and Excluded Middle. I

    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.

    Ossolineum and Kluwer Academic Publishers, 1989

    Erschienen in: Studia Logica: An International Journal for Symbolic Logic, 48 (1989) 2, Seite 193-217