product iamge

Course of Mathematical Logic. Volume 1: Relation and Logical Formula

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book is intended primarily for researchers specializing in mathematical logic; it may also serve the needs of advanced students desirous of embarking on research in logic. Volume I (at least) is also addressed to university and high-school students, mathematicians (not necessarily logicians) and philosophers, interested in a more rigorous notion of deductive reasoning.

Author(s): Roland Fraïssé
Series: Synthese Library 54
Publisher: Springer
Year: 1973

Language: English
Pages: 205
Tags: Logic; Mathematical Logic and Foundations

Front Matter....Pages I-XVI
Word, Formula....Pages 1-16
Connections and Connective Formulas....Pages 17-46
Relation, Multirelation; Operator and Predicate....Pages 47-78
Local Isomorphism; Free Operator and Free Formula....Pages 79-109
Formula, Operator, Logical Class and Logical Equivalence; Denumerable-Model Theorem....Pages 110-137
Completeness and Interpolation Theorems....Pages 138-157
Interpretability of Relations....Pages 158-177
Back Matter....Pages 178-190