Entry Troelstra:1969:PIL from lnm1960.bib

Last update: Sat Mar 2 02:18:53 MST 2019                Valid HTML 4.0!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | Y | Z

BibTeX entry

@Proceedings{Troelstra:1969:PIL,
  editor =       "Anne Sjerp Troelstra",
  booktitle =    "{Principles of Intuitionism: Lectures presented at the
                 summer conference on Intuitionism and Proof theory
                 (1968) at SUNY at Buffalo, N.Y.}",
  title =        "{Principles of Intuitionism: Lectures presented at the
                 summer conference on Intuitionism and Proof theory
                 (1968) at SUNY at Buffalo, N.Y.}",
  volume =       "95",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "ii + 111",
  year =         "1969",
  CODEN =        "LNMAA2",
  DOI =          "https://doi.org/10.1007/BFb0080643",
  ISBN =         "3-540-04614-3 (paperback), 3-540-36130-8 (e-book)",
  ISBN-13 =      "978-3-540-04614-1 (paperback), 978-3-540-36130-5
                 (e-book)",
  ISSN =         "0075-8434 (print), 1617-9692 (electronic)",
  ISSN-L =       "0075-8434",
  LCCN =         "QA3 .L28 no. 95",
  MRclass =      "02.23",
  MRnumber =     "0244003 (39 \#5320)",
  MRreviewer =   "A. Heyting",
  bibdate =      "Tue May 6 14:51:19 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lnm1960.bib",
  series =       ser-LECT-NOTES-MATH,
  URL =          "http://link.springer.com/book/10.1007/BFb0080643",
  acknowledgement = ack-nhfb,
  series-URL =   "http://link.springer.com/bookseries/304",
}

Related entries