The Resource Proof theory : the first step into impredicativity, by Wolfram Pohlers, (electronic resource)

Proof theory : the first step into impredicativity, by Wolfram Pohlers, (electronic resource)

Label
Proof theory : the first step into impredicativity
Title
Proof theory
Title remainder
the first step into impredicativity
Statement of responsibility
by Wolfram Pohlers
Creator
Subject
Language
eng
Member of
Cataloging source
GW5XE
Index
no index present
Literary form
non fiction
Nature of contents
dictionaries
Series statement
Universitext
Label
Proof theory : the first step into impredicativity, by Wolfram Pohlers, (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-540-69319-2
Publication
Note
Originally published: 1989
http://library.link/vocab/branchCode
  • ERDC_HANOV
  • ERDC_VBG
  • ERDC_CHPN
Color
multicolored
Control code
ocn310353075
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9783540693192
http://library.link/vocab/recordID
u213681
Specific material designation
remote
System control number
  • (Sirsi) o310353075
  • (OCoLC)310353075

Library Locations

    • ERDC - Champaign (US Army Engineer Research and Development Center) Borrow it
      PO Box 9005, Champaign, IL, 61826-9005, US
      40.137625 -88.2772606
    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
    • ERDC - Vicksburg (US Army Engineer Research and Development Center) Borrow it
      3909 Halls Ferry Road, Vicksburg, MS, 39180-6199, US
      32.3019214 -90.8733482
Processing Feedback ...