Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade 

                    
Petr Hájek

Metamathematics of first-order arithmetic - - Cambridge University Press c2016 - xiv, 460p.



inv no.SAR/331/2017; dt.30-08-2017

9781107168411 (HB)


Arithmetic – Foundations
Logic
Computer science

513.01 HAJ(MET)
Visitor count :

Powered by Koha