ENGLISH

Logic and Structure

Book information

Publisher
Springer Berlin Heidelberg
Year
1980
ISBN
9783540098935, 9783662084021
Language
english
Format
PDF
Filesize
4 MB (4529755 bytes)
Series
Universitext
Pages
\181
Time added
2020-08-30 06:11:09

Description

Front Matter....Pages I-IX Introduction....Pages 1-3 Propositional Logic....Pages 4-57 Predicate Logic....Pages 58-105 Completeness and Applications....Pages 106-153 Second-Order Logic....Pages 154-164 Appendix....Pages 165-167 Bibliography....Pages 168-168 Gothic Alphabet....Pages 169-169 Back Matter....Pages 170-174

Similar books