Logic and Structure
- ISBN-10
- 3662023822
- ISBN-13
- 9783662023822
- Series
- Logic and Structure
- Category
- Mathematics
- Pages
- 210
- Language
- English
- Published
- 2013-11-11
- Publisher
- Springer Science & Business Media
- Author
- Dirk van Dalen
Description
New corrected printing of a well-established text on logic at the introductory level.
Get the book
Other editions
Similar books
-
Logic and Structure
By SPRINGERLogic and Structure
-
The Logic of Information Structures
By Heinrich WansingThe Logic of Information Structures
-
The Structure of Aristotelian Logic
By James Wilkinson MillerThe primary consideration of the book is the inclusion of negative terms - obversion, contraposition etc. – within traditional logic by addressing three questions, of systematization, the rules, and the interpretation.
-
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach
By Bruno Courcelle, Joost EngelfrietIn this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years.
-
Computer Structure and Logic
By Scott Mueller, Mark Edward Soper, Dave ProwseComputer Structur Logi_1 David L. Prowse, Mark Edward Soper, Scott Mueller. Warning and Disclaimer Every effort ... Bulk Sales Pearson offers excellent discounts on this book when ordered in quantity for bulk purchases or special sales.
-
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
By Robert L. CarpenterThis book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs and feature-structures of unification-based grammars to include inheritance, typing, ...
-
Discrete Structures, Logic, and Computability
By James L. HeinDiscrete Structure, Logic, and Computability introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic, and computability.
-
Handbook of Quantum Logic and Quantum Structures: Quantum Logic
By Dov M. Gabbay, Daniel Lehmann, Kurt EngesserIn R. Port and T. van Gelder, editors, Mind as Motion: Explorations in the Dynamics of Cognition, pages 121–147. ... Agenda Relevance: A Study in Formal Pragmatics, volume 1 of A Practical Logic of Cognitive Systems.
-
Language in Action: Categories, Lambdas and Dynamic Logic
By Johan van BenthemThis is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic.
-
Well-structured Mathematical Logic
By Damon ScottFrom the work of George Boole onward, traditional logic was made to look like a form of symbolic algebra. In this work, the logic undergirding conventional mathematics resembles well-structured computer programs.