Abstract Logic Jonas Hellborg

洋書 Springer Paperback, Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation (Lecture Notes in Computer Science (675))

Category Theory (Oxford Logic Guides) Steve Awodey

Proof Theory and Algebra in Logic (Short Textbooks in Logic) シリーズ: Short Textbooks in Logic (全 2 冊)

Software Abstractions: Logic, Language, and Analysis【電子書籍】[ Daniel Jackson ]

"Introduction to Languages, Machines and Logic": "Computable Languages, Abstract Machines And Formal Logic" Alan P. Parkes

Pure Mathematics for Pre-Beginners: An Elementary Introduction to Logic, Set Theory, Abstract Algebra, Number Theory, Real Analysis, Topology, Complex Analysis, and Linear Algebra Steve Warner

Themes in Neoplatonic and Aristotelian Logic Order, Negation and Abstraction【電子書籍】[ John N. Martin ]

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Outstanding Contributions to Logic, 16) シリーズ: Outstanding Contributions to Logic (全 28 冊)

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) Saunders MacLane

Abstract Reality A Psychological Horror Novel【電子書籍】[ Cedric Buhagiar ]

Classification Theory for Abstract Elementary Classes: Volume 2 (Studies in Logic: Mathematical Logic and Foundations) Professor Department of Mathematics Rutgers University Institute of Mathematics Saharon Shelah

Introduction to Boolean Algebras (Undergraduate Texts in Mathematics) シリーズ: Undergraduate Texts in Mathematics (全 183 冊)

Sets, Functions, and Logic: An Introduction to Abstract Mathematics, Third Edition (Chapman Hall/CRC Mathematics Series) Keith Devlin

洋書 Springer Paperback, Abstract Harmonic Analysis: Volume I Structure Of Topological Groups Integration Theory Group Representations (Grundlehren Der Mathematischen ... der mathematischen Wissenschaften (115))

Categories for the Working Mathematician (Graduate Texts in Mathematics) シリーズ: Graduate Texts in Mathematics (全 180 冊)

Beyond the Divine: Abstract Reality, Time and the Logic of Change IE González

【輸入盤CD】【新品】 Dark Heresy / Abstract Principles Taken To Their Logical Extreme 【K2019/7/19発売】

Pure Mathematics for Beginners - Accelerated and Expanded Edition: A Rigorous Introduction to Logic, Set Theory, Abstract Algebra, Number Theory, Real Analysis, Topology, Complex Analysis, and Linear Algebra Steve Warner

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29) David I. Spivak

Extended Abstracts 2022 Proceedings of the 7th International Conference on the Anthropological Theory of the Didactic (CITAD7)【電子書籍】

Prepping for Pure Mathematics: A Starter’s Guide to Logic, Set Theory, Abstract Algebra, Number Theory, Real Analysis, Topology, Complex Analysis, and Linear Algebra Steve Warner

Modal Logic: An Introduction Brian F. Chellas

Possibilities And Paradox: An Introduction To Modal And Many-Valued Logic J. C. Beall

洋書 Springer Paperback, Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science (2654))

Logic and Structure (Universitext) Dirk van Dalen

Boxes and Diamonds: An Open Introduction to Modal Logic (Open Logic Project Textbooks) Richard Zach

洋書 Paperback, Genealogical Abstracts of Edgefield, South Carolina Equity Court Records

Beginning Mathematical Logic: A Study Guide Peter Smith

Pure Logic: Or, the Logic of Quality Apart from Quantity; With Remarks on Boole's System and on the Relation of Logic and Mathematics W. Stanley Jevons