Skip to main content
  • 516 Accesses

Abstract

One of the main tasks of mathematical logic is the investigation of formal thinking and inference by means of mathematical methods taken, for example, from algebra or the theory of algorithms. But this task, which has its origins in philosophy, is not its only one; nowadays mathematical logic comprises a multitude of questions and applications to the most diverse domains such as the natural sciences, switchwork algebra, the theory of data processing systems, linguistics, several branches of the social sciences like philosophy, laws, und ethics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 119.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Authors

Editor information

W. Gellert S. Gottwald M. Hellwich H. Kästner H. Küstner

Rights and permissions

Reprints and permissions

Copyright information

© 1975 VEB Bibliographisches Institut Leipzig

About this chapter

Cite this chapter

Gellert, W., Gottwald, S., Hellwich, M., Kästner, H., Küstner, H. (1975). The elements of mathematical logic. In: Gellert, W., Gottwald, S., Hellwich, M., Kästner, H., Küstner, H. (eds) The VNR Concise Encyclopedia of Mathematics. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-6982-0_16

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-6982-0_16

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-011-6984-4

  • Online ISBN: 978-94-011-6982-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics