Introduction

  • Fred Kröger
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 8)

Abstract

Important goals of mathematical logic are, in general, to:
  • provide languages for the precise formulation of propositions,

  • investigate mechanisms for finding out the truth or falsity of propositions.

Keywords

Kroger 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Fred Kröger
    • 1
  1. 1.Institut für InformatikUniversität MünchenMünchen 2Germany

Personalised recommendations