Tableau systems for first order number theory and certain higher order theories

समान संसाधन

• Lógica simbólica
  द्वारा: Hegenberg, Leónidas
  प्रकाशित: (1966)
• Büchi's Monadic second order successor arithmetic
  द्वारा: Siefkes, Dirk
  प्रकाशित: (1970)
• Introduction a la logique mathématique
  द्वारा: Novikov, P. S. (Petr Sergeevich)
  प्रकाशित: (1964)
• Term logic with choice operator
  द्वारा: Hermes, Hans
  प्रकाशित: (1970)
• Introduction to mathematical logic
  द्वारा: Mendelson, Elliott
  प्रकाशित: (1997)