Georg Kreisel. "From Foundations to Science: Justifying and Unwinding Proofs." Zbornik Radova (1977): 63-72. <http://eudml.org/doc/256840>.
@article{GeorgKreisel1977, author = {Georg Kreisel}, journal = {Zbornik Radova}, keywords = {Hilbert's program; proof theory; K-theory; real closed fields; division algebras; Ramsey's theorem; mechanical unwinding of proofs; automatic theorem-proving}, language = {eng}, number = {10}, pages = {63-72}, publisher = {Matematički institut SANU}, title = {From Foundations to Science: Justifying and Unwinding Proofs}, url = {http://eudml.org/doc/256840}, year = {1977}, }
TY - JOUR AU - Georg Kreisel TI - From Foundations to Science: Justifying and Unwinding Proofs JO - Zbornik Radova PY - 1977 PB - Matematički institut SANU IS - 10 SP - 63 EP - 72 LA - eng KW - Hilbert's program; proof theory; K-theory; real closed fields; division algebras; Ramsey's theorem; mechanical unwinding of proofs; automatic theorem-proving UR - http://eudml.org/doc/256840 ER -
