X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    The lambda calculus : its syntax and semantics (1981)
    Amsterdam [u.a.] : North-Holland
    Details
    UID:
    b3kat_BV002247679
    Format: XIV, 615 S. , Ill., graph. Darst.
    ISBN: 0444854908
    Series Statement: Studies in logic and the foundations of mathematics 103
    Language: English
    Subjects: Mathematics
    RVK:
    SK 130
    Keywords: Mathematische Logik ; Lambda-Kalkül ; Beweistheorie
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
    FU Berlin get availability status
    TU Berlin get availability status
  • 2
    Book
    Book
    The Lambda Calculus : its syntax and semantics (1984)
    Amsterdam [u.a.] : North-Holland, Elsevier
    Details
    UID:
    b3kat_BV001209852
    Format: XV, 621 S. , Ill., graph. Darst.
    Edition: Rev. ed.
    ISBN: 0444867481
    Series Statement: Studies in logic and the foundations of mathematics 103
    Language: English
    Subjects: Comparative Studies. Non-European Languages/Literatures , Mathematics , Philosophy
    RVK:
    CC 2600
    RVK:
    ES 200
    RVK:
    SK 130
    Keywords: Mathematische Logik ; Lambda-Kalkül ; Beweistheorie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    FU Berlin get availability status
    TU Berlin get availability status
  • 3
    Online Resource
    Online Resource
    The lambda calculus : its syntax and semantics (2011)
    Amsterdam : North-Holland
    Details
    UID:
    gbv_87888856X
    Format: Online Ressource (xv, 621 pages) , illustrations.
    Edition: Rev. ed.
    Edition: Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
    ISBN: 9780080933757 , 0080933750 , 9780444875082 , 0444875085
    Series Statement: Studies in logic and the foundations of mathematics v. 103
    Content: The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course
    Note: Includes indexes. - Includes bibliographical references (pages 585-598). - Print version record , Includes bibliographical references (pages 585-598) , Print version record , Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 , Cover; Contents; Addenda for the Sixth Imprinting; Errata; Preface & Contents; Chapter 1; Chapter 2; Chapter 3; Chapter 4; Chapter 5; Chapter 6; Chapter 7; Chapter 8; Chapter 9; Chapter 10; Chapter 11; Chapter 12; Chapter 13; Chapter 14; Chapter 15; Chapter 16; Chapter 17; Chapter 18; Chapter 19; Chapter 20; Appendices; Addenda; References; Index of Names; Index of Definitions; Index of Symbols; Bibliography; , Online-Ausg. [S.l.] : HathiTrust Digital Library , Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. , English
    Additional Edition: ISBN 0444867481
    Additional Edition: ISBN 0444875085
    Additional Edition: Erscheint auch als Druck-Ausgabe Barendregt, H.P. (Hendrik Pieter) Lambda calculus Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984
    Language: English
    Subjects: Comparative Studies. Non-European Languages/Literatures , Mathematics , Philosophy
    RVK:
    CC 2600
    RVK:
    ES 200
    RVK:
    SK 130
    Keywords: Electronic books ; Electronic books
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Stabi Berlin
    UB Potsdam
  • 4
    Online Resource
    Online Resource
    Recollecting Resonances : Indonesian-Dutch Musical Encounters (2013)
    Leiden : BRILL
    Details
    UID:
    gbv_772591865
    Format: Online-Ressource (365 p)
    ISBN: 9789004256095
    Series Statement: Verhandelingen van het Koninklijk Instituut voor Taal-, Land en Volkenkunde 288
    Content: Over time Dutch and Indonesian musicians have inspired each other and they continue to do so. Recollecting Resonances offers a way of studying these musical encounters and a mutual heritage one today still can listen to
    Note: Description based upon print version of record , Contents; List of Illustrations; Chapter One Recollecting Resonances: Listening to an Indonesian-Dutch Musical Heritage; Chapter Two Photographic Representations of the Performing Indonesian; Chapter Three 'Queen Wilhelmina, Mother of the Mentawaians': The Dutch National Anthem in Indonesia and as Part of the Music Culture of Siberut; Chapter Four Past and Present Issues of Javanese-European Musical Hybridity: Gendhing Mares and Other Hybrid Genres; Chapter Five Drummers of the Sultan of Buton: The Lasting Influence of the Dutch East India Company on Local Music Traditions , Chapter Six Musical Modernism in the Twentieth CenturyChapter Seven Constant van de Wall, a European-Javanese Composer; Chapter Eight A Musical Friendship: The Correspondence between Mangkunegoro VII and the Ethnomusicologist Jaap Kunst, 1919 to 1940; Chapter Nine Encounters in the Context of Inspiring Sundanese Music and Problematic Theories; Chapter Ten Indonesian Performing Arts in the Netherlands, 1913-1944; Chapter Eleven 'Barat Ketemu Timur': Cross-Cultural Encounters and the Making of Early Kroncong History , Chapter Twelve Tradition and Creative Inspiration: Musical Encounters of the Moluccan Communities in the NetherlandsChapter Thirteen Multicultural Encounters on Stage: The Use of Javanese Cultural Elements by the Surinamese Doe-Theatre Company; Chapter Fourteen Kollektief Muziek Theater's Repositioning of Moluccan Issues; Contributors; Index
    Additional Edition: ISBN 9789004258594
    Additional Edition: ISBN 9789004256095
    Additional Edition: ISBN 9789004256095
    Additional Edition: Print version Recollecting Resonances Indonesian-Dutch Musical Encounters
    Additional Edition: Druckausg. Recollecting resonances Leiden [u.a.] : Brill, 2014 ISBN 9789004256095
    Language: English
    Keywords: Indonesien ; Niederlande ; Musik ; Rezeption ; Electronic books
    DOI: 10.1163/9789004258594
    URL: Volltext
    URL: Volltext  (DOI)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    UB Potsdam
  • 5
    Online Resource
    Online Resource
    Sonic modernities in the Malay world : a history of popular music, social distinction and novel lifestyles (1930s-2000s) (2014)
    Leiden : Brill
    Details
    UID:
    gbv_1678183024
    Format: 1 Online-Ressource (xi, 375 p) , ill
    ISBN: 9789004261778 , 9789004259867
    Series Statement: Verhandelingen van het Koninklijk Instituut voor Taal-, Land- en Volkenkunde v. 290
    Uniform Title: Music on Dutch East Indies radio in 1938
    Content: "Sonic Modernities situates Southeast Asian popular music in specific socio-historical settings, hoping that a focus on popular culture and history may shed light on how some people in a particular part of the world have been witnessing the emergence of all things modern. In its focus on pioneering artists, their creative use of new genres and border crossing technologies it aims at a rewriting of Southeast Asia's twentieth century from the perspective of popular music makers, the entertainment industry and its ever changing audiences"--
    Content: Sonic histories in a Southeast Asian context / Bart Barendregt -- Music on Dutch East Indies radio in 1938 : representations of unity, disunity, and the modern / Philip Yampolsky -- Dirty dancing" and Malay anxieties : the changing context of Malay ronggeng in the first half of the twentieth century / Jan van der Putten -- Disquieting degeneracy : policing Malaysian and Singaporean popular music culture from the mid-1960s to early-1970s / Adil Johan -- Pop goes Melayu : Melayu popular music in Indonesia, 1968-1975 / Andrew N. Weintraub -- Pop Melayu vs. pop Indonesia : marketeers, producers and new interpretations of a genre into the 2000s / Emma Baulch -- Worlds of sparkling lights : popular music and youth cultures in Solo, Central Java / Lars Gjelstad -- Seductive pleasures, eluding subjectivities : some thoughts on dangdut's ambiguous identity / Bettina David -- Notes on dangdut music, popular nationalism, and Indonesian islam / Jeremy Wallach -- Politicians who love to sing and politicians who detest singing / Kees van Dijk -- Musical aspects of popular music and pop sunda in West Java / Wim van Zanten -- Modernizing songs of the forest : indigenous communities negotiate tensions of change in Malaysia / Tan Sooi Beng.
    Note: Available to subscribing member institutions only , Includes bibliographical references (p. 369-370) and index
    Additional Edition: ISBN 9789004259867
    Additional Edition: ISBN 9789004259867
    Additional Edition: Erscheint auch als Druck-Ausgabe Sonic Modernities in the Malay World: A History of Popular Music, Social Distinction and Novel Lifestyles (1930s – 2000s) Leiden, Boston : BRILL, 2014 ISBN 9789004259867
    Language: English
    Keywords: Indonesien ; Malaysia ; Musiksoziologie ; Popmusik ; Electronic books
    DOI: 10.1163/9789004261778
    URL: DOI
    URL: kostenfrei
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Stabi Berlin
    UB Potsdam
  • 6
    Book
    Book
    The Lambda calculus : its syntax and semantics (1985)
    Amsterdam : North Holland
    Details
    UID:
    b3kat_BV024373356
    Format: XV, 621 S.
    Edition: Rev. ed.
    Series Statement: Studies in logic and the foundations of mathematics 103
    Language: Undetermined
    Subjects: Mathematics
    RVK:
    SK 130
    Keywords: Mathematische Logik ; Lambda-Kalkül ; Beweistheorie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    TU Berlin get availability status
  • 7
    Book
    Book
    The Lambda calculus : its syntax and semantics (2004)
    Amsterdam [u.a.] : Elsevier
    Details
    UID:
    b3kat_BV025310410
    Format: XV, 621 S.
    ISBN: 0444875085
    Series Statement: Studies in logic and the foundations of mathematics 103
    Language: English
    Subjects: Mathematics
    RVK:
    SK 130
    Keywords: Mathematische Logik ; Lambda-Kalkül ; Beweistheorie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages