Order:
  1. Anglo-Indian Studies, by S. M. Mitra. [REVIEW]M. F. E. - 1913 - Ethics 24:369.
     
    Export citation  
     
    Bookmark  
  2.  7
    Metalogic: An Introduction to the Metatheory of Standard First Order Logic. [REVIEW]M. F. E. - 1971 - Review of Metaphysics 25 (1):127-127.
    In his preface, Hunter explains that this volume is intended to provide for non-mathematicians an introduction to the most important results of modern mathematical logic. The reader will find here the work of Post, Skolem, Gödel, Church, Henkin, and others, presented in a terse and closely-knit style. Though acknowledging the trend toward natural deduction systems, Hunter sticks to more classical axiomatic systems on the grounds that the proofs of metatheorems are simplified by that choice. He begins with a formal system (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  17
    Book Review:Anglo-Indian Studies. S. M. Mitra. [REVIEW]M. F. E. - 1914 - Ethics 24 (3):369-.