ՀՀ Գիտությունների ազգային ակադեմիայի հիմնարար գիտական գրադարան = Fundamental Scientific Library of NAS RATerm 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, 1970.Edition: 1st English edDescription: 55 p. ; 26 cmUniform titles: - Termlogik mit Auswahloperator English
| Item type | Current library | Collection | Call number | Status | Notes | 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.
There are no comments on this title.
All site content, except where otherwise noted, is licensed under a