Some applications of formalized consistency proofs

G. Kreisel; Hao Wang

Fundamenta Mathematicae (1955)

  • Volume: 42, Issue: 1, page 101-110
  • ISSN: 0016-2736

How to cite

top

Kreisel, G., and Wang, Hao. "Some applications of formalized consistency proofs." Fundamenta Mathematicae 42.1 (1955): 101-110. <http://eudml.org/doc/213363>.

@article{Kreisel1955,
author = {Kreisel, G., Wang, Hao},
journal = {Fundamenta Mathematicae},
keywords = {philosophy and foundations of mathematics},
language = {eng},
number = {1},
pages = {101-110},
title = {Some applications of formalized consistency proofs},
url = {http://eudml.org/doc/213363},
volume = {42},
year = {1955},
}

TY - JOUR
AU - Kreisel, G.
AU - Wang, Hao
TI - Some applications of formalized consistency proofs
JO - Fundamenta Mathematicae
PY - 1955
VL - 42
IS - 1
SP - 101
EP - 110
LA - eng
KW - philosophy and foundations of mathematics
UR - http://eudml.org/doc/213363
ER -

NotesEmbed ?

top

You must be logged in to post comments.