Skip to main navigation Skip to main content
info(at)avldigital.remove-this.de
Deutsch English
Narrow Search
Search narrowed by
Last searches

Results for *

Displaying results 1 to 3 of 3.

  1. Proof, computation and agency
    logic at the crossroads
    Contributor: Benthem, Johan van (Hrsg.)
    Published: 2011
    Publisher:  Springer, Dordrecht [u.a.]

    Location:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Inter-library loan:
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Verlag (Inhaltsverzeichnis)
    Source: Staatsbibliothek zu Berlin
    Contributor: Benthem, Johan van (Hrsg.)
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9400700792; 9789400700796; 9789400709201
    RVK Categories: CC 2600
    Series: Synthese library ; 352
    Subjects: Computer science; Logic; Logic, Symbolic and mathematical; Philosophy (General); Philosophy, modern
    Scope: XXIV, 371 S., Ill.
  2. Proof, computation and agency
    logic at the crossroads
    Contributor: Benthem, Johan <<van>> (Publisher)
    Published: 2011
    Publisher:  Springer, Dordrecht [u.a.]

    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Benthem, Johan <<van>> (Publisher)
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9400700792; 9789400700796; 9789400709201; 9789400700802
    RVK Categories: CC 2600
    Series: Synthese library ; 352
    Subjects: Philosophy (General); Logic; Philosophy, modern; Computer science; Logic, Symbolic and mathematical
    Scope: XXIV, 371 S., Ill., graph. Darst., 24 cm
    Notes:

    Literaturangaben
  3. Proof, computation and agency
    logic at the crossroads
    Contributor: Benthem, Johan van (Hrsg.)
    Published: 2011
    Publisher:  Springer, Dordrecht [u.a.]

    Location:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Signature:
    1 A 807919
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Signature:
    CC 2600 B476
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signature:
    2011 A 9847
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    Signature:
    F.4.1
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Verlag (Inhaltsverzeichnis)
    Source: Staatsbibliothek zu Berlin
    Contributor: Benthem, Johan van (Hrsg.)
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9400700792; 9789400700796; 9789400709201
    RVK Categories: CC 2600
    Series: Synthese library ; 352
    Subjects: Computer science; Logic; Logic, Symbolic and mathematical; Philosophy (General); Philosophy, modern
    Scope: XXIV, 371 S., Ill.