A Formalization of Brouwer’s Argument for Bar Induction

Details 詳細情報について

• CRID

  1360285705773236736

• DOI

  10.1007/978-3-662-57669-4_4

• ISSN

  16113349

  03029743

• Web Site

  http://link.springer.com/content/pdf/10.1007/978-3-662-57669-4_4

• Data Source

  • Crossref
  • KAKEN