×

zbMATH — the first resource for mathematics

Found 18 Documents (Results 1–18)

100
MathJax
Algebra Logic 55, No. 2, 103-127 (2016); translation from Algebra Logika 55, No. 2, 156-191 (2016); erratum ibid. 55, No. 3, 256 (2016).
MSC:  03B52 03F03 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1289, 128-139 (1997).
PDF BibTeX XML Cite
Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 401-423 (1996).
Reviewer: A.Hoogewijs (Gent)
MSC:  03B50
PDF BibTeX XML Cite
Höhle, Ulrich (ed.) et al., Non-classical logics and their applications to fuzzy subsets. A handbook of the mathematical foundations of fuzzy set theory. Proceedings of the 14th Linz seminar on fuzzy set theory held at Linz, Austria in the second week of September 1992. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. B. 32, 107-123 (1995).
Reviewer: A.Hoogewijs (Gent)
MSC:  03B50
PDF BibTeX XML Cite