Justification logic: reasoning with reasons
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Artemov, Sergej N. 1951- (VerfasserIn), Fitting, Melvin 1942- (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cambridge ; New York, NY Cambridge University Press 2019
Schriftenreihe:Cambridge tracts in mathematics 216
Schlagworte:
Online-Zugang:UEI01
BSB01
FHN01
UBA01
UBG01
Volltext
Beschreibung:Includes bibliographical references and index
Beschreibung:1 Online-Ressource (IX, 247 Seiten) Illustrationen
ISBN:9781108348034
DOI:10.1017/9781108348034

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen