Campusbibliothek
Normale Ansicht MARC ISBD

Logical frameworks for truth and abstraction an axiomatic study Andrea Cantini

Von: Materialtyp: TextTextSprache: Englisch Reihen: ; 135 | Studies in logic and the foundations of mathematics ; 135Verlag: Amsterdam [u.a.] Elsevier 1996Beschreibung: XII, 461 S. graph. DarstInhaltstyp:
  • Text
Medientyp:
  • ohne Hilfsmittel zu benutzen
Datenträgertyp:
  • Band
ISBN:
  • 0444823069
Patentinformation: 19365895XSchlagwörter: Andere physische Formen: Erscheint auch als: Logical frameworks for truth and abstraction; Online-Ausg. u.d.T.: Logical frameworks for truth and abstractionLOC-Klassifikation:
  • QA9
Andere Klassifikation:
  • SK 130
  • *03B40
  • 03-02
  • 03F03
  • 03D75
  • 03B30
  • 31.10
Online-Ressourcen: Bearbeitungsvermerk:
  • 2
Andere Ausgaben: Erscheint auch als (Online-Ausgabe): / Cantini, Andrea: Logical frameworks for truth and abstraction; Online-Ausg. u.d.T.: / Cantini, Andrea: Logical frameworks for truth and abstraction
Exemplare
Medientyp Aktuelle Bibliothek Sammlung Standort Signatur Status Fälligkeitsdatum Barcode
Buch Buch Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Campusbibliothek für Informatik und Mathematik (E2 3) Books A-Z (1st) CAN a 1996:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) Verfügbar 2000000031903

Literaturverz. S. [425] - 440

Cantini, Andrea: Logical frameworks for truth and abstraction

Cantini, Andrea: Logical frameworks for truth and abstraction

Archivierung prüfen 20240324 DE-4165 2 pdager

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha