Search results
- RETRO-CATALOGUING - SHORT RECORD
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson. Berlin : Springer Verlag, 1985 . xxiii, 466 s. il. . ISBN 0-387-12173-0. ISBN 3-540-12173-0 - C 262.428
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická příruční sklad 1 0/0 0 0