Keywords:
Inference
;
Logic, Symbolic and mathematical
;
Lehrbuch
;
Syntax
;
Formale Semantik
Type of Medium:
Online Resource
Pages:
617 p
,
Online-Ressource
,
ill
,
24 cm
Edition:
Online-Ausg.] Elsevier e-book collection on ScienceDirect
ISBN:
0444895051
,
9780444895059
Series Statement:
Studies in logic and the foundations of mathematics v. 136
URL:
http://www.sciencedirect.com/science/book/9780444895059
URL:
https://zbmath.org/?q=an:0872.03002
Language:
English
Note:
Includes bibliographical references (p. 603-617) and index