Eine Termlogik mit Auswhloperator.
Material type:
TextSeries: Lecture notes in mathematics ; 6Publication details: Berlin, New York : Springer-Verlag, 1965.Description: 42 p. ; 30 cmSubject(s): DDC classification: - PF 164 H47
| Item type | Current library | Status | Barcode | |
|---|---|---|---|---|
Books - Open Access
|
Main Library - Africana | Available | 001044111 |
Includes bibliographical references (p. 40).
There are no comments on this title.
Log in to your account to post a comment.