Course of Mathematical Logic. Volume 1: Relation and Logical Formula
Book information
Description
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.
Similar books
Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
2014 · PDF
Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
2014 · EPUB
Handbook of Philosophical Logic. Volume I: Elements of Classical Logic
1983 · PDF
Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic
1984 · PDF
Metamathematics of Fuzzy Logic
1998 · PDF
Automated Model Building
2004 · PDF
Automated Model Building
2004 · PDF
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
2014 · PDF