Justification logic: reasoning with reasons
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Artemov, Sergej N. 1951- (VerfasserIn), Fitting, Melvin 1942- (VerfasserIn)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cambridge ; New York, NY Cambridge University Press 2019
Schriftenreihe:Cambridge tracts in mathematics 216
Schlagwörter:
Links:http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2091112
https://doi.org/10.1017/9781108348034
https://doi.org/10.1017/9781108348034
https://doi.org/10.1017/9781108348034
https://doi.org/10.1017/9781108348034
https://doi.org/10.1017/9781108348034
Beschreibung:Includes bibliographical references and index
Umfang:1 Online-Ressource (IX, 247 Seiten) Illustrationen
ISBN:9781108348034
DOI:10.1017/9781108348034