Tags
Language
Tags
<<
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1
  1. Home
  2. eBooks & eLearning
  3. Formal Logic

Introduction to Logic: Predicate Logic

Posted By: step778
Date: 22 Jun 2023 10:10:19
Introduction to Logic: Predicate Logic

Howard Pospesel, "Introduction to Logic: Predicate Logic"
English | 2002 | pages: 302 | ISBN: 0131649892 | PDF | 47,2 mb
Details

Logic: An Emphasis on Formal Logic

Posted By: step778
Date: 29 Apr 2023 11:45:10
Logic: An Emphasis on Formal Logic

Stan Baronett, "Logic: An Emphasis on Formal Logic"
English | 2018 | pages: 817 | ISBN: 0190691859 | PDF | 261,0 mb
Details

Medieval Formal Logic: Obligations, Insolubles and Consequences

Posted By: DZ123
Date: 28 Mar 2023 17:17:39
Medieval Formal Logic: Obligations, Insolubles and Consequences

Mikko Yrjönsuuri, "Medieval Formal Logic: Obligations, Insolubles and Consequences"
English | 2001 | ISBN: 9048156041, 0792366743 | PDF | pages: 244 | 9.4 mb
Details

Systems of Formal Logic

Posted By: AvaxGenius
Date: 9 Jul 2022 02:39:15
Systems of Formal Logic

Systems of Formal Logic by L. H. Hackstaff
English | PDF | 1966 | 367 Pages | ISBN : 902770077X | 23.4 MB

The present work constitutes an effort to approach the subject of symbol­ ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela­ tions, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber­ nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega­tion.
Details
UPWARDS