Review: Jan Krajicek, Pavel Pudlak, The Number of Proof Lines and the Size of Proofs in First Order Logic
Farmer, William M.
J. Symbolic Logic, Tome 54 (1989) no. 1, p. 1107-1108 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1989-09-14
Classification:  
@article{1183743054,
     author = {Farmer, William M.},
     title = {Review: Jan Krajicek, Pavel Pudlak, The Number of Proof Lines and the Size of Proofs in First Order Logic},
     journal = {J. Symbolic Logic},
     volume = {54},
     number = {1},
     year = {1989},
     pages = { 1107-1108},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743054}
}

Farmer, William M. Review: Jan Krajicek, Pavel Pudlak, The Number of Proof Lines and the Size of Proofs in First Order Logic. J. Symbolic Logic, Tome 54 (1989) no. 1, pp.  1107-1108. http://gdmltest.u-ga.fr/item/1183743054/