Esfandiar Haghverdi, Indiana University Bloomington, USA, Liugen Zhu, Indiana University Bloomington, USAWorld Scientific[2024]
Other Libraries in Japan
Shay FuchsCambridge University Press2023
Other Libraries in Japan
Scott A. Taylor ; illustrations by Michael ScholzAmerican Mathematical Societyc2023
Other Libraries in Japan
Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich ZapletalWorld Scientificc2022
Other Libraries in Japan
Stanley J. FarlowWiley2020.
Other Libraries in Japan
Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich ZapletalWorld Scientific2020
Other Libraries in Japan
Martin Hils, François LoeserAmerican Mathematical Societyc2019
Other Libraries in Japan
Lito Perez CruzSpringerc2021
Other Libraries in Japan
Daniel J. VellemanCambridge University Press2019
Other Libraries in Japan
Daniel SolowWileyc2010
Other Libraries in Japan
- Subject HeadingProof theory -- Textbooks Logic, Symbolical and mathematical -- Textbooks
- Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolical and mathematical -- Textbooks
Valentin Deaconu, Donald C. PfaffCRC Pressc2017
Other Libraries in Japan
Charles E. Roberts, JrCRC Press, Taylor & Francis : Chapman & Hall Bookc2015
Other Libraries in Japan
Tamara J. LakinsAmerican Mathematical Societyc2016
Other Libraries in Japan
Daniel SolowJohn Wiley & Sonsc2014
Other Libraries in Japan
MIT Pressc2021
Other Libraries in Japan
Willem Conradie, Valentin GorankoWiley2015.
Other Libraries in Japan
Joel David HamkinsMIT Pressc2020
Other Libraries in Japan
Daniel SolowWileyc2005
Other Libraries in Japan
- Subject HeadingProof theory -- Textbooks Logic, Symbolical and mathematical -- Textbooks
- Subject Heading (ID)Proof theory -- Textbooks Logic, Symbolical and mathematical -- Textbooks
George TourlakisWileyc2008
Other Libraries in Japan
Charles E. Roberts, Jr.Chapman & Hall/CRCc2010
Other Libraries in Japan