Mathematical logic and formalized theories : a survey of basic concepts and results

Author(s)

• Rogers, Vincent Robert

Bibliographic Information

Mathematical logic and formalized theories : a survey of basic concepts and results

Robert Rogers

North-Holland, 1971

• : ne

Note

Bibliography: p. 227-229

Details

• NCID: BA0678614X
• ISBN:
  • 0444100830
  • 0720420512
• LCCN: 78146195
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: xi, 235 p.
• Size: 23 cm
• Classification:
  • LCC : QA9
  • DC : 511/.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical