Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Oxford logic guidesPublisher: Oxford [Eng.] : Clarendon Press, 1977Description: IX, 170 SISBN:- 019853163X
- 515.242
- 515/.242 511/.2
- 511/.2
- 515/.242
- QA246.5
Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 78 A 1130 | Available | 40575722 |
Total holds: 0