Switch to: Citations

Add references

You must login to add references.
  1. Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
    " There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • On 퐧-Quantifier Induction.Charles Parsons - 1972 - Journal of Symbolic Logic 37 (3):466 - 482.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • On n-quantifier induction.Charles Parsons - 1972 - Journal of Symbolic Logic 37 (3):466-482.
    Download  
     
    Export citation  
     
    Bookmark   27 citations