Metamathematics of First-Order Arithmetic

Sorry, there's nothing here.
02040'95'97'99'01'03'05'07'09'11'13'15'17
Citations per Year

465 Citations

Semantic Scholar estimates that this publication has 465 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Hjek1993MetamathematicsOF, title={Metamathematics of First-Order Arithmetic}, author={Petr H{\'a}jek and Pavel Pudl{\'a}k}, booktitle={Perspectives in mathematical logic}, year={1993} }