Custom cover image
Custom cover image

Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra, editor

Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in mathematics ; 344Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1973Description: XVII, 485 SISBN:
  • 0387064915
  • 3540064915
Subject(s): Additional physical formats: Erscheint auch als: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1973. Online-Ressource (XX, 488 p, online resource)DDC classification:
  • 510/.8 s 511/.3
  • 510/.8
  • s
  • 511/.3
  • 510/.8 s
RVK: RVK: SI 850LOC classification:
  • QA3
  • QA9.47
PPN: PPN: 022831045
Holdings
Item type Home library Shelving location Call number Status Barcode
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Lect. notes / 344 Available 36284335090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT