为您索检到45条磁力链接,耗时6毫秒。
- 【文档书籍】 Handbook of the History of Logic
-
收录时间:2018-10-06
文档个数:8
文档大小:120.3 MB
最近下载:2024-09-24
人气:3
磁力链接
Handbook of history of logic.nfo 3.7 kB
Handbook of the History of Logic vol1 - Greek, Indian and Arabic Logic.pdf 39.0 MB
Handbook of the History of Logic vol2 - Mediaeval and Renaissance Logic.pdf 4.9 MB
Handbook of the History of Logic vol3 - The Rise of Modern Logic Leibniz to Frege.pdf 46.5 MB
Handbook of the History of Logic vol4 - British Logic in the Nineteenth Century.pdf 10.5 MB
Handbook of the History of Logic vol7 - Logic and the Modalities in the Twentieth Century.pdf 7.1 MB
Handbook of the History of Logic vol8 - The Many Valued and Non-monotonic Turn in Logic.pdf 12.3 MB
Torrent downloaded from Demonoid.com.txt 47 Bytes
猜你喜欢:
Logic
Handbook
History
- 【文档书籍】 Graf - Encyclopedia of Electronic Circuits - Vol 6.pdf Mano,Kime - Logic and Computer Design Fundamentals 3e - part I.pdf
-
收录时间:2018-08-25
文档个数:5
文档大小:83.1 MB
最近下载:2025-05-15
人气:427
磁力链接
Graf - Encyclopedia of Electronic Circuits - Vol 6.pdf 24.3 MB
Important. Read me .url 238 Bytes
Mano,Kime - Logic and Computer Design Fundamentals 3e - part I.pdf 58.8 MB
More Books.txt 2.9 kB
Torrent downloaded from Demonoid.com.txt 49 Bytes
猜你喜欢:
pdf
Fundamentals
Design
Circuits
3e
Vol
Computer
Encyclopedia
Kime
Logic
- 【文档书籍】 Make - More Electronics - Journey Deep Into the World of Logic Chips, Amplifiers, Sensors, and Randomicity
-
收录时间:2018-03-30
文档个数:1
文档大小:111.0 MB
最近下载:2025-05-15
人气:2872
磁力链接
Make - More Electronics - Journey Deep.pdf 111.0 MB
猜你喜欢:
Sensors
Make
Deep
Journey
Randomicity
Amplifiers
Logic
World
Electronics
Chips
- 【文档书籍】 Mano,Kime - Logic and Computer Design Fundamentals 3e
-
收录时间:2017-06-17
文档个数:3
文档大小:103.3 MB
最近下载:2025-05-15
人气:1755
磁力链接
Mano,Kime - Logic and Computer Design Fundamentals 3e - part I.pdf 58.8 MB
Mano,Kime - Logic and Computer Design Fundamentals 3e - part II.pdf 44.4 MB
Torrent downloaded from Demonoid.com.txt 47 Bytes
猜你喜欢:
Fundamentals
Computer
Design
3e
Logic
Kime
Mano
- 【文档书籍】 Programmable Logic Controllers, 4 edition
-
收录时间:2017-06-03
文档个数:3
文档大小:94.6 MB
最近下载:2025-05-16
人气:802
磁力链接
Programmable Logic Controllers, 4 edition.pdf 94.5 MB
Programmable Logic Controllers, 4 edition.torrent 14.9 kB
Torrent downloaded from Demonoid.me.txt 46 Bytes
猜你喜欢:
Controllers
Programmable
edition
Logic
- 【文档书籍】 Buddhist Philosophy and Logic
-
收录时间:2017-04-26
文档个数:22
文档大小:269.5 MB
最近下载:2025-01-10
人气:64
磁力链接
Arnold, Dan - Buddhists, brahmins, and belief_Epistemology in South Asian philosophy of religion.pdf 3.7 MB
Conze, Edward - Buddhist Thought in India_Three Phases of Buddhist Philosophy.pdf 8.8 MB
Edelglass, William & J ay L. Garfield (ed) - Buddhist Philosophy_Essential Readings.pdf 4.7 MB
Fenner, Peter - The Ontology of the Middle-Way.pdf 38.5 MB
Frauwallner, Erich - Philosophy of Buddhism.pdf 2.3 MB
Garfield, Jay L. - Empty Words_ Buddhist Philosophy and Cross-Cultural Interpretation.pdf 5.0 MB
Gowans, Christopher W. - Philosophy of the Buddha.pdf 3.2 MB
Jacobson, Nolan Pliny - The heart of Buddhist philosophy (html pages).rar 431.4 kB
Kalupahana, David J. - A History of Buddhist Philosophy_Continuities and Discontinuities (djvu pages).rar 8.5 MB
Kalupahana, David J. - Buddhist Philosophy_A Historical Analysis (html pages).rar 1.6 MB
Kalupahana, David J. - Causality, The Central Philosophy of Buddhism.pdf 8.1 MB
Kalupahana, David J. - Mulamadhayamakakarika of Nagarjuna_Philosophy of the Middle-Way.pdf 28.7 MB
Laumakis, Stephen - Introduction to Buddhist Philosophy.pdf 1.4 MB
Matilal, Bimal Krishna (ed); Evans, Robert D. (ed) - Buddhist Logic and Epistemology.pdf 21.1 MB
Potter, Karl - Encyclopedia of Indian Philosophies - Vol. 8 - Buddhist Philosophy from 100 to 350 A-D.pdf 21.9 MB
Potter, Karl - Encyclopedia of Indian Philosophies - Vol. 9 - Buddhist Philosophy from 350 to 600 A-D.pdf 13.0 MB
Ronkin, Noa - Early Buddhist Metaphysics.pdf 2.1 MB
Stcherbatsky, Th. F. - Buddhist Logic Vol.1.pdf 15.2 MB
Stcherbatsky, Th. F. - Buddhist Logic Vol.2.pdf 21.7 MB
Thartang Tulku - Knowledge of Time and Space.pdf 14.7 MB
猜你喜欢:
Philosophy
Buddhist
Logic
- 【文档书籍】 [FILEKING.PL] MusicTech Focus Logic Pro 9 Vol.2
-
收录时间:2017-04-26
文档个数:4
文档大小:123.9 MB
最近下载:2024-11-25
人气:208
磁力链接
1380930601_medium.jpg 29.0 kB
gawroniasty FK.gif 229.2 kB
INFO.txt 4.0 kB
MusicTechFocusLogicProVol2.pdf 123.7 MB
猜你喜欢:
Vol
Pro
Focus
FILEKING
Logic
MusicTech
PL
- 【文档书籍】 Critical thinking, logic, propaganda
-
收录时间:2017-04-21
文档个数:137
文档大小:350.0 MB
最近下载:2025-05-15
人气:1114
磁力链接
PowerScore GMAT Critical Reasoning Bible_ A Compretacking the GMAT Critical Reasoning Questions, The/PowerScore GMAT Critical Reasoning Bible_ A Compretacking the GMAT Critical Reasoning Questions, The.pdf 60.2 MB
Thought and Knowledge_ An Introduction to Critical Thinking/Thought and Knowledge_ An Introduction to Critical Thinking.pdf 33.9 MB
Thinking From a to Z/Thinking From a to Z.pdf 22.5 MB
Critical Thinking Skills_ Developing Effective Analysis and Argument/Critical Thinking Skills_ Developing Effective Analysis and Argument.pdf 17.5 MB
Good Reasoning Matters!_ A Constructive Approach to Critical Thinking/Good Reasoning Matters!_ A Constructive Approach to Critical Thinking.pdf 13.3 MB
Critical Thinking for Students_ Learn the Skills of Critical Assessment and Effective Argument/Critical Thinking for Students_ Learn the Skills of Critical Assessment and Effective Argument.pdf 11.1 MB
Tell Me Lies_ Propaganda and Media Distortion in the Attack on Iraq/Tell Me Lies_ Propaganda and Media Distortion in the Attack on Iraq.pdf 11.0 MB
Critical Thinking for A2/Critical Thinking for A2.pdf 11.0 MB
Beanstalk and Beyond_ Developing Critical Thinking Through Fairy Tales, The/Beanstalk and Beyond_ Developing Critical Thinking Through Fairy Tales, The.pdf 10.6 MB
Logic for Dummies/Logic for Dummies.pdf 9.2 MB
Intellectuals/Intellectuals.pdf 8.5 MB
Climate Change_ Writing the Critical Essay/Climate Change_ Writing the Critical Essay.pdf 6.9 MB
Cambridge Handbook of Thinking and Reasoning, The/Cambridge Handbook of Thinking and Reasoning, The.pdf 6.6 MB
Closing of the American Mind, The/Closing of the American Mind, The.pdf 5.7 MB
Think Better_ An Innovator's Guide to Productive Thinking/Think Better_ An Innovator's Guide to Productive Thinking.pdf 5.1 MB
Advanced IQ Tests_ The Toughest Practice Questionsral Thinking, Problem Solving and Reasoning Skills/Advanced IQ Tests_ The Toughest Practice Questionsral Thinking, Problem Solving and Reasoning Skills.pdf 4.9 MB
Predictably Irrational_ The Hidden Forces That Shape Our Decisions/Predictably Irrational_ The Hidden Forces That Shape Our Decisions.pdf 4.1 MB
First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A/First Course in Logic_ An Introduction to Model Thry, Proof Theory, Computability, and Complexity, A.pdf 4.1 MB
Logic Made Easy_ How to Know When Language Deceives You/Logic Made Easy_ How to Know When Language Deceives You.pdf 4.0 MB
Language, Proof, and Logic/Language, Proof, and Logic.pdf 3.9 MB
猜你喜欢:
thinking
Critical
propaganda
logic
- 【文档书籍】 Bernd Jahne - Computer Vision and Applications & Bergmann - The Logic Book 5e [ocr, discrete maths] (McGraw, 2009).pdf
-
收录时间:2017-03-27
文档个数:5
文档大小:260.7 MB
最近下载:2025-01-10
人气:391
磁力链接
Bergmann - The Logic Book 5e [ocr, discrete maths] (McGraw, 2009).pdf 237.0 MB
Bernd Jahne - Computer Vision and Applications.pdf 23.8 MB
Important. Read me .url 238 Bytes
More Books.txt 2.9 kB
Torrent downloaded from Demonoid.com.txt 49 Bytes
猜你喜欢:
2009
Computer
Book
maths
pdf
discrete
Applications
Jahne
Logic
Bergmann
- 【文档书籍】 THiNK - Critical Thinking and Logic Skills for everyday life - 2nd Edition - Judith A Boss.pdf
-
收录时间:2017-03-26
文档个数:1
文档大小:111.2 MB
最近下载:2025-05-15
人气:805
磁力链接
THiNK - Critical Thinking and Logic Skills for everyday life - 2nd Edition - Judith A Boss.pdf 111.2 MB
猜你喜欢:
life
Edition
Thinking
pdf
THiNK
Skills
Critical
Logic
Boss
2nd
- 【文档书籍】 Philosophy of Math Logic & Argumentation Books
-
收录时间:2017-02-28
文档个数:88
文档大小:438.9 MB
最近下载:2025-03-12
人气:571
磁力链接
Critical Thinking - Argumentation/(TTC) Philosophy - Tools of Thinking.pdf 2.1 MB
Critical Thinking - Argumentation/(TTC) Zarefsky - Argumentation, The Study of Effective Reasoning part 1.pdf 9.8 MB
Critical Thinking - Argumentation/A Practical Guide to Critical Thinking.pdf 158.2 kB
Critical Thinking - Argumentation/Being Logical - A Guide To Good Thinking.pdf 2.5 MB
Critical Thinking - Argumentation/Critical Thinking Skills Success in 20 Minutes a Day.pdf 657.2 kB
Critical Thinking - Argumentation/Logical Fallacies - online resources.txt 124 Bytes
Critical Thinking - Argumentation/Rationality and Logic.pdf 1.1 MB
Critical Thinking - Argumentation/Realistic Decision Theory.doc 1.9 MB
Critical Thinking - Argumentation/Stephen Toulmin, Knowing & Acting - An Invitation to Philosophy.pdf 12.7 MB
Critical Thinking - Argumentation/The Oxford Handbook of Rationality.pdf 1.7 MB
Critical Thinking - Argumentation/Toulmin et al. - An introduction to Reasoning.pdf 18.9 MB
Logic/A Concise Introduction To Logic - Hurley 7th ed.pdf 3.5 MB
Logic/A Primer for Logic and Proof.pdf 432.9 kB
Logic/Allen & Hand - Logic Primer 2nd Ed (2001).pdf 3.2 MB
Logic/Barwise et al. - Language, proof and logic (1999).pdf 3.9 MB
Logic/Barwise J. (ed.) - Handbook of mathematical logic.djvu 9.2 MB
Logic/Blackwell - A Companion to Philosophical Logic 2002.djvu 3.9 MB
Logic/Blackwell - A Companion to Philosophical Logic 2002.pdf 30.6 MB
Logic/Blackwell - Philosophy of Logic, An Anthology.pdf 29.3 MB
Logic/Chaotic Logic - Goertzel.pdf 729.6 kB
猜你喜欢:
Argumentation
Philosophy
Books
Math
Logic
- 【文档书籍】 Fundamentals of Logic Design, 6th (2).pdf
-
收录时间:2017-02-27
文档个数:1
文档大小:216.7 MB
最近下载:2025-05-15
人气:512
磁力链接
Fundamentals of Logic Design, 6th (2).pdf 216.7 MB
猜你喜欢:
Fundamentals
6th
pdf
Design
Logic
- 【文档书籍】 Fundamentals of Logic Design, 6th
-
收录时间:2017-02-23
文档个数:3
文档大小:244.1 MB
最近下载:2018-11-21
人气:53
磁力链接
Originals/Originals.rar 27.5 MB
Fundamentals of Logic Design, 6th.pdf 216.7 MB
Torrent downloaded from Demonoid.com.txt 47 Bytes
猜你喜欢:
Fundamentals
6th
Design
Logic
- 【文档书籍】 Mathematical Logic Textbook Collection
-
收录时间:2017-02-20
文档个数:55
文档大小:650.3 MB
最近下载:2025-05-15
人气:2640
磁力链接
Model Theory/Shelah - Classification Theory.pdf 50.0 MB
Recursion Theory/Odifreddi - Classical Recursion Theory.pdf 38.6 MB
Proof Theory/Handbook of Proof Theory.pdf 37.6 MB
Recursion Theory/Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism.pdf 36.6 MB
Recursion Theory/Handbook of Computability Theory.pdf 34.7 MB
Proof Theory/Troelstra - Constructivism in Mathematics Volume 1.pdf 31.1 MB
Set Theory/Devlin - Constructibility.pdf 29.4 MB
General Logic/Shoenfield - Mathematical Logic.pdf 26.9 MB
Miscellaneous/Baader & Nipkow - Term Rewriting and all that.pdf 26.3 MB
Recursion Theory/Sacks - Higher Recursion Theory.pdf 26.2 MB
Miscellaneous/Curry - Combinatory Logic Volume II.pdf 24.2 MB
General Logic/Handbook of Mathematical Logic.pdf 23.9 MB
Miscellaneous/Rasiowa & Sikorski - The Mathematics of Metamathematics.pdf 22.6 MB
Miscellaneous/Curry, Feys & Craig - Combinatory Logic Volume I.pdf 21.2 MB
General Logic/Ershov & Palyutin - Mathematical Logic.pdf 19.2 MB
Proof Theory/Takeuti - Proof Theory.pdf 16.0 MB
Model Theory/Ebbinghaus & Flum - Finite Model Theory.pdf 15.7 MB
Miscellaneous/Guessarian - Algebraic Semantics.pdf 13.3 MB
Set Theory/Mitchell & Steel - Fine Structure & Iteration Trees.pdf 13.0 MB
Set Theory/Zeman - Inner Models and Large Cardinals.PDF 10.4 MB
猜你喜欢:
Mathematical
Collection
Textbook
Logic
- 【文档书籍】 Critical thinking, logic, propaganda
-
收录时间:2017-02-20
文档个数:130
文档大小:346.3 MB
最近下载:2025-05-14
人气:656
磁力链接
Advanced IQ Tests_ The Toughest Practice Questionsral Thinking, Problem Solving and Reasoning Skills/Advanced IQ Tests_ The Toughest Practice Questionsral Thinking, Problem Solving and Reasoning Skills.pdf 4.9 MB
Advanced IQ Tests_ The Toughest Practice Questionsral Thinking, Problem Solving and Reasoning Skills/Advanced IQ Tests_ The Toughest Practice Questionsral Thinking, Problem Solving and Reasoning Skills.jpg 37.8 kB
Argumentation and Debate_ Critical Thinking for Reasoned Decision Making/Argumentation and Debate_ Critical Thinking for Reasoned Decision Making.pdf 3.1 MB
Argumentation and Debate_ Critical Thinking for Reasoned Decision Making/Argumentation and Debate_ Critical Thinking for Reasoned Decision Making.jpg 33.0 kB
Art of Creative Thinking_ How to Be Innovative and Develop Great Ideas, The/Art of Creative Thinking_ How to Be Innovative and Develop Great Ideas, The.pdf 1.3 MB
Art of Creative Thinking_ How to Be Innovative and Develop Great Ideas, The/Art of Creative Thinking_ How to Be Innovative and Develop Great Ideas, The.jpg 34.3 kB
Asking the Right Questions_ A Guide to Critical Thinking/Asking the Right Questions_ A Guide to Critical Thinking.pdf 2.4 MB
Asking the Right Questions_ A Guide to Critical Thinking/Asking the Right Questions_ A Guide to Critical Thinking.jpg 43.2 kB
At War With Metaphor_ Media Propaganda and Racism in the War on Terror/At War With Metaphor_ Media Propaganda and Racism in the War on Terror.pdf 2.1 MB
At War With Metaphor_ Media Propaganda and Racism in the War on Terror/At War With Metaphor_ Media Propaganda and Racism in the War on Terror.jpg 52.1 kB
Beanstalk and Beyond_ Developing Critical Thinking Through Fairy Tales, The/Beanstalk and Beyond_ Developing Critical Thinking Through Fairy Tales, The.pdf 10.6 MB
Beanstalk and Beyond_ Developing Critical Thinking Through Fairy Tales, The/Beanstalk and Beyond_ Developing Critical Thinking Through Fairy Tales, The.jpg 58.4 kB
Being Logical_ A Guide to Good Thinking/Being Logical_ A Guide to Good Thinking.pdf 2.5 MB
Being Logical_ A Guide to Good Thinking/Being Logical_ A Guide to Good Thinking.jpg 28.7 kB
By Parallel Reasoning/By Parallel Reasoning.pdf 2.4 MB
By Parallel Reasoning/By Parallel Reasoning.jpg 39.4 kB
Cambridge Handbook of Thinking and Reasoning, The/Cambridge Handbook of Thinking and Reasoning, The.pdf 6.6 MB
Cambridge Handbook of Thinking and Reasoning, The/Cambridge Handbook of Thinking and Reasoning, The.jpg 14.8 kB
Climate Change_ Writing the Critical Essay/Climate Change_ Writing the Critical Essay.pdf 6.9 MB
Climate Change_ Writing the Critical Essay/Climate Change_ Writing the Critical Essay.jpg 33.6 kB
猜你喜欢:
thinking
Critical
propaganda
logic
- 【文档书籍】 The Logic of American Politics.pdf
-
收录时间:2017-02-15
文档个数:1
文档大小:992.9 MB
最近下载:2021-03-06
人气:68
磁力链接
The Logic of American Politics.pdf 992.9 MB
猜你喜欢:
Politics
American
pdf
Logic
- 【文档书籍】 Programmable Logic Controllers, 4 edition
-
收录时间:2017-02-14
文档个数:2
文档大小:94.5 MB
最近下载:2025-05-16
人气:585
磁力链接
Programmable Logic Controllers, 4 edition.pdf 94.5 MB
Torrent downloaded from Demonoid.me.txt 46 Bytes
猜你喜欢:
Controllers
Programmable
edition
Logic
- 【文档书籍】 Oxford Handbook of Philosophy of Mathematics and Logic & other Philosophy papers
-
收录时间:2017-02-14
文档个数:72
文档大小:354.8 MB
最近下载:2025-05-15
人气:971
磁力链接
Aesthetics Art/Graham, Gordon - Philosophy of the Arts - An Introduction to Aesthetics.pdf 40.9 MB
Aesthetics Art/Philosophy of Art, Introduction to Aesthetics (1997).djvu 1.8 MB
Epistemology & Metaphysics/Scepticism Comes Alive.doc 746.0 kB
Epistemology & Metaphysics/Thinking about Knowing.doc 1.0 MB
Epistemology & Metaphysics/Understanding Human Knowledge.doc 722.4 kB
Ethics/Jacques Maritain - Moral Philosophy.pdf 6.7 MB
General Philosophy/Companion to Hegel ch. 10 - Hegel On Religion And Philosophy.pdf 2.8 MB
General Philosophy/Kierkegaard - The Seducers Diary.pdf 11.2 MB
General Philosophy/Nietzsche - Philosophy and Truth.pdf 1.5 MB
General Philosophy/Philosophy after Wittgenstein and Heidegger.pdf 2.5 MB
General Philosophy/Rorty, Richard - Essays on Heidegger and others Philosophical Papers Vol 2. 1991.pdf 726.6 kB
History of Philosophy/History of 19th Century European Philosophy.pdf 476.6 kB
History of Philosophy/Wulff, Maurice de - Philosophy and Civilization in the Middle Ages.pdf 9.6 MB
Miscellaneous/Brodie L. Thinking Forth - A Language and Philosophy for Solving Problems (2004).pdf 4.5 MB
Norton, John - Philosophy of Space and Time/Norton, John - Philosophy of Space and Time, Part I.pdf 371.0 kB
Norton, John - Philosophy of Space and Time/Norton, John - Philosophy of Space and Time, Part II.pdf 787.0 kB
Norton, John - Philosophy of Space and Time/Norton, John - Philosophy of Space and Time, Part III.pdf 290.3 kB
Philosophy of History/Imperium. Philosophy of History and Politics.pdf 1.2 MB
Philosophy of Language/Greenberg Harman - Conceptual Role Semantics.pdf 281.7 kB
Philosophy of Language/Martinich, A P (ed) - The philosophy of language 3ed.pdf 38.0 MB
猜你喜欢:
Philosophy
other
Handbook
papers
Logic
Oxford
Mathematics
- 【文档书籍】 `LOGIC
-
收录时间:2017-02-12
文档个数:36
文档大小:218.3 MB
最近下载:2025-05-15
人气:186
磁力链接
Handbook of philosophical logic/handbook of philosophical logic vol 1.pdf 2.1 MB
Handbook of philosophical logic/handbook of philosophical logic vol 2.pdf 2.5 MB
Handbook of philosophical logic/handbook of philosophical logic vol 3.pdf 2.3 MB
Handbook of philosophical logic/handbook of philosophical logic vol 4.pdf 2.2 MB
Handbook of philosophical logic/handbook of philosophical logic vol 5.pdf 1.9 MB
Handbook of philosophical logic/handbook of philosophical logic vol 6.pdf 2.2 MB
Handbook of philosophical logic/handbook of philosophical logic vol 7.pdf 1.9 MB
Handbook of philosophical logic/handbook of philosophical logic vol 8.pdf 1.9 MB
Handbook of philosophical logic/Handbook of Philosophical Logic vol 9.pdf 2.1 MB
Handbook of philosophical logic/handbook of tableau methods.pdf 3.4 MB
'Questions' from the Handbook of Logic and Language.pdf 719.9 kB
Allen & Hand - Logic Primer 2nd Ed (2001).pdf 3.2 MB
Baader (et al) (ed.) - The Description Logic Handbook - Theory, Implementation and Applications (2003).pdf 4.4 MB
Beall, J.C. Restall, Greg. - Logical Pluralism. Australasian Journal of Philosophy.pdf 359.0 kB
Blackwell - Philosophy of Logic, An Anthology.pdf 29.3 MB
Blackwell Publishing - Why Probability Does Not Capture the Logic of Scientific Just.pdf 194.4 kB
Carroll, Lewis_-_The_Game_Of_Logic_[txt].rar 25.1 kB
Creighton, James Edwin - An Introductory Logic (1908).pdf 70.4 MB
E. Zalta, Reflections on Mathematics.pdf 147.5 kB
Giere, Ronald N. - Intensional Logic in Extensional Language.pdf 1.2 MB
猜你喜欢:
LOGIC
- 【文档书籍】 Logic and Proof - Norman, Sherwood, Barr.pdf
-
收录时间:2017-02-11
文档个数:1
文档大小:348.7 MB
最近下载:2024-12-31
人气:102
磁力链接
Logic and Proof - Norman, Sherwood, Barr.pdf 348.7 MB
猜你喜欢:
Barr
Norman
Sherwood
Logic
pdf
Proof