1. Proof theory :
Author: edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory
Classification :
QA9
.
54
.
L44
1990
2. Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
Author: edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
L4
1990
