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
back to result list
  • 1
    Book
    Book
    Categorical logic and type theory (1999)
    Amsterdam [u.a.] : Elsevier
    Details
    UID:
    gbv_251527867
    Format: XVIII, 760 S , graph. Darst
    Edition: 1. ed.
    ISBN: 0444508538 , 0444501703
    Series Statement: Studies in logic and the foundations of mathematics 141
    Note: Includes bibliographical references and indexes , Teilw. zugl.: Nijmegen, Univ., Diss., 1991
    Additional Edition: Erscheint auch als Online-Ausgabe Jacobs, Bart, 1963 - Categorical logic and type theory Amsterdam [u.a.] : Elsevier, 1999 ISBN 0444501703
    Additional Edition: ISBN 9780444501707
    Additional Edition: ISBN 9780080528700
    Additional Edition: ISBN 0080528708
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    SK 130
    RVK:
    CC 2600
    Keywords: Typentheorie ; Hochschulschrift
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    Author information: Jacobs, Bart 1963-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
    UB Potsdam get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages