Treffer: Justification logic
Titel:
Justification logic : reasoning with reasons / Sergei Artemov, Melvin Fitting
Veröffentlicht:
Cambridge : Cambridge University Press, 2019
Vertrieb:
Cambridge, UK : Cambridge University Press
Umfang:
1 Online-Ressource (xxi, 247 pages)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Cambridge tracts in mathematics ; 216
Anmerkungen:
Title from publisher's bibliographic system (viewed on 24 Apr 2019)
ISBN:
9781108348034 ; 9781108424912 (Sekundärausgabe)