Corpus ID: 118522349

Review: Crispin Kim-Bradley, Symbolic Logic and Metamathematics

@inproceedings{Church1952ReviewCK,
  title={Review: Crispin Kim-Bradley, Symbolic Logic and Metamathematics},
  author={A. Church},
  year={1952}
}
  • A. Church
  • Published 1952
  • Mathematics