opac header image

Proof Theory

Proof Theory - Berlin, Heidelberg Springer Berlin Heidelberg 2009.

Mathematics and Statistics (Springer-11649)

9783540693192, 978-3-540-69319-2


Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Mathematics
Mathematics

511.3, / 23
© 2024 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | Email: libniser@niser.ac.in Phone: +91-674-2494171

Powered by Koha