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
- 511/.2
- 515/.242
- QA246.5
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 78 A 1130 | Available | 40575722 |
Total holds: 0