Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik.

Bibliographic Details

Main Author:	Hermes, Hans
Format:	Book
Language:	German
Published:	Stuttgart : Teubner, 1963.
Series:	Mathematische Leitfäden.
Subjects:	Logic, Symbolic and mathematical.