|
Proof theory.
|
Zeraoulia, Elhadj.
Singapore ; Hackensack, N.J. : World Scientific, [2010]
Rating:
|
Nance, Dale A., author.
Cambridge : Cambridge University Press, 2016.
Rating:
|
Alsina, Claudi.
Washington, DC : Mathematical Association of America, [2010]
Rating:
|
Tao, Terence, 1975-
Providence, Rhode Island : American Mathematical Society, [2013]
Rating:
|
Berlin : De Gruyter, [2016]
Rating:
|
Pozzato, Gian Luca.
Amsterdam ; Washington, DC : IOS Press, [2010]
Rating:
|
Laczkovich, Miklós.
Washington, DC : Mathematical Association of America, [2001]
Rating:
|
Berlin ; Boston : Walter de Gruyter GmbH & Co., KG, [2014]
Rating:
|
Lerman, M. (Manuel), 1943-
[Ithaca, NY?] : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, [2010]
Rating:
|
Alsina, Claudi, author.
[Washington, D.C.] : The Mathematical Association of America, [2011]
Rating:
|
Goldstein, Rebecca, 1950-
New York : W.W. Norton, [2005]
1st ed.
Rating:
|
Eccles, Peter J., 1945-
Cambridge ; New York : Cambridge University Press, 1997.
Rating:
Moore Stacks
|
QA9.54 |
Available |
--- |
|
|
|
Sørensen, Morten Heine.
Amsterdam ; Boston [MA] : Elsevier, 2006.
1st ed.
Rating:
|
Cambridge : Cambridge University Press, 2004.
Rating:
|
Boolos, George.
Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995.
Rating:
|
Cook, Stephen, 1948-
Cambridge ; New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2010]
Rating:
|
Sundstrom, Theodore A.
[Place of publication not identified] : [Ted Sundstrom], [2015]-
Rating:
|
Maddox, Randall B.
San Diego, Calif. : Academic Press, [2002]
Rating:
|
Takeuti, Gaisi, 1926-2017.
River Edge, NJ : World Scientific, 2003.
Rating:
|
Cupillari, Antonella.
Amsterdam ; Boston : Elsevier Academic Press, [2005]
3rd ed.
Rating:
|
[Place of publication not identified] : Cambridge University Press, 2011.
Rating:
|
Cambridge : Cambridge University Press, 2011.
Rating:
|
Krajíček, Jan, author.
Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2019.
Rating:
|
London ; New York : Routledge, 1992.
Rating:
|
Schwichtenberg, Helmut.
Cambridge : Cambridge University Press, 2011.
Rating:
|
Morris, Dave Witte.
[Place of publication not identified] : Dave Witte Morris and Joy Morris, 2016-
Rating:
|
Stylianides, Andreas J., author.
Oxford : Oxford University Press, 2016.
First edition.
Rating:
|
Schindler, Ralf-Dieter.
Frankfurt ; New Brunswick : Ontos Verlag, 2010.
Rating:
|
|