Pratt, Scott L.
46,95€
An enlightening introduction to the study of logic: its history, philosophical foundations, and formal structures
Logic: Inquiry, Argument, and Order is the first book of its kind to frame the study of introductory logic in terms of problems connected…
Trobok, Majda
169,10€
…Informal Logic and Informal Consequence
Danilo Šuster
7. Logical Consequence and Rationality
Nenad Smokrović
8. Logic, Indispensability and Aposteriority
Nenad Miščević
9. Extended Game-Theoretical Semantics
Manuel Rebuschi
10.…
Adamowicz, Zofia
131,90€
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic
Logic of Mathematics combines a full-scale introductory course in mathematical logic…
Abramsky, Samson
115,95€
…Games for Inclusion Logic and Fixed-Point Logic
Erich Grädel
6. Remarks on Compositionality
Wilfrid Hodges
7. Independence in Model Theory
Åsa Hirvonen
8. Dependency as Question Entailment
Ivano Ciardelli
9. Approximation Logics…
Zegarelli, Mark
19,15€
Logic concepts are more mainstream than you may realize. There’s logic every place you look and in almost everything you do, from deciding which shirt to buy to asking your boss for a raise, and even to watching television, where themes of such…
Peters, Stanley
99,75€
Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no...
Copying…
Li, Wei
54,95€
Table of contents
1. Syntax of First-Order Languages
Wei Li
2. Models of First-Order Languages
Wei Li
3. Formal Inference Systems
Wei Li
4. Computability & Representability
Wei Li
5. Gödel Theorems
Wei Li
6.…
Jacquette, Dale
112,20€
This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic.
Presents controversies in philosophical implications and applications of formal symbolic logic.
Surveys major trends and offers original insights.…
Goranko, Valentin
56,00€
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic…
Gabbay, Dov M.
117,70€
Table of contents
1. Hybrid Logic
Torben Braüner
2. Nominal Terms and Nominal Logics: From Foundations to Meta-mathematics
Murdoch J. Gabbay
3. Introduction to Labelled Deductive Systems
Dov M. Gabbay
