Logic and Structure (Universitext)
Edition: 3rd augmented ed. 1994. Corr. 2nd printing edition
Publisher: Springer
Published: May 15, 1997
Language: eng
Format: Paperback
Number of pages: 217
ISBN-13: 9783540578390
Subjects: Mathematical logic; Mathematical And Symbolic Logic; Mathematics; Science/Mathematics; Logic; Mathematics / Logic; basic model theory; first-order logic with natural deduction; intuitionistic logic and semantics; normalisation of first-order logic; second order logic; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical
First sentence: Without adopting one of the various views advocated in the foundations of mathematics, we may agree that mathematicians need and use a language, if only for the communication of their results and their problems.