Term logic with choice operator / Hans Hermes.
Material type:
TextLanguage: English Original language: German Series: Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann ; 6Publication details: Berlin ; New York : Springer-Verlag, 1970Edition: 1st English edDescription: 55 p. ; 26 cmUniform titles: Termlogik mit Auswahloperator English Subject(s): Logic, Symbolic and mathematical
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/3082 (Browse shelf(Opens below)) | Available | ILL Non-Circ. | 901003082 |
Rev. and enl. translation of Eine Termlogik mit Auswahloperator.
Rev. and enl. translation of the first German edition
Bibliogr.: p. 53.
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.