Passer au contenu principal Passer au contenu du pied de page

Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic

Pavel Materna

16 mars 2016

241,99 $ ~~Réduction sur le prix courant 301,96 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Logic, Epistemology, And The Unity Of Science

Publié par: Springer Netherlands

ISBN: 9789048188123

Labelled Deduction

David Basin Couverture souple
160,95 $
2 formats offerts
The Essentials of Logic: Being Ten Lectures On Judgment and Inference - Primary Source Edition

Bernard Bosanquet Couverture souple
26,99 $
Dynamic Tractable Reasoning: A Modular Approach To Belief Revision

Holger Andreas Couverture rigide
131,50 $
2 formats offerts
Aristotle's Posterior Analytics - Scholar's Choice Edition

Aristotle Aristotle Couverture souple
26,95 $
New Mechanism: Explanation, Emergence and Reduction

João L. Cordovil Couverture souple
72,95 $
Recent Advances Of The Fragment Molecular Orbital Method: Enhanced Performance And Applicability

Yuji Mochizuki Couverture souple
248,50 $
Dynamic Tractable Reasoning: A Modular Approach To Belief Revision

Holger Andreas Couverture souple
94,95 $
New Mechanism: Explanation, Emergence and Reduction

João L. Cordovil Couverture souple
58,50 $
New Mechanism: Explanation, Emergence and Reduction

João L. Cordovil Couverture rigide
87,95 $
2 formats offerts
Modelling Nature: An Opinionated Introduction To Scientific Representation

Roman Frigg Couverture rigide
175,50 $
2 formats offerts
Modelling Nature: An Opinionated Introduction To Scientific Representation

Roman Frigg Couverture souple
175,50 $
Electronic Minds: Hypothesis, Observations and Theory on Preprogrammed Digital Sequences in Natural Evolution to Cyberspace

Kristiyan Kirchev Couverture souple
22,50 $
The Conceptual Foundations Of Quantum Mechanics

Jeffrey A. Barrett Couverture rigide
88,00 $
2 formats offerts
Einstein's Revolution: A Study In Heuristic

Elie Zahar Couverture souple
43,95 $
Regularization of Inverse Problems

Heinz Werner Engl Couverture souple
233,95 $
2 formats offerts
The Compatibility Of Evolution And Design

E. V. R. Kojonen Couverture rigide
189,95 $
2 formats offerts
The Compatibility of Evolution and Design

E. V. R. Kojonen Couverture souple
189,95 $
The Principles of Qualitative Analysis: From the Standpoint of the Theory of Electrolytic Dissociation, and the Law of Mass Action (Classic

Wilhelm Bottger Couverture souple
13,57 $
8 formats offerts
Organic Chemistry and Theory

Kendall N Houk Couverture souple
142,95 $
Carte-cadeau

Indigo

Évaluation éditoriale

Auteur

Treatise on Intuitionistic Type Theory

Johan Georg Granström Couverture souple
207,95 $
2 formats offerts
Harmony and Paradox: Intensional Aspects of Proof-theoretic Semantics

Luca Tranchini Couverture rigide
87,95 $
2 formats offerts
Awareness in Logic and Epistemology: A Conceptual Schema and Logical Study of The Underlying Main Epistemic Concepts

Claudia Fernández-Fern Couverture souple
160,95 $
Information and Knowledge: A Constructive Type-theoretical Approach

Giuseppe Primiero Couverture souple
262,95 $
2 formats offerts
Awareness in Logic and Epistemology: A Conceptual Schema and Logical Study of the Underlying Main Epistemic Concepts

Claudia Fernández-Fern Couverture rigide
160,95 $
2 formats offerts
Paraconsistency: Logic And Applications

Koji Tanaka Couverture souple
160,95 $
3 formats offerts
Model-based Reasoning In Science And Technology: Inferential Models For Logic, Language, Cognition And Computation

Ángel Nepomuceno-fern Couverture rigide
321,50 $
2 formats offerts
Well-quasi Orders In Computation, Logic, Language And Reasoning: A Unifying Concept Of Proof Theory, Automata Theory, Formal Languages And Descriptive Set Theory

Peter M. Schuster Couverture rigide
291,95 $
2 formats offerts
Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reasoning, And The Philosophy Of Cognition

Hannes Leitgeb Couverture souple
248,50 $
2 formats offerts
New Foundations For Information Theory: Logical Entropy And Shannon Entropy

David Ellerman Couverture souple
102,50 $
2 formats offerts
Hybrid Logic and its Proof-Theory

Torben Braüner Couverture souple
160,95 $
3 formats offerts
A Protocol-theoretic Framework for the Logic of Epistemic Norms

Ralph Jenkins Couverture rigide
160,95 $
2 formats offerts
A Textbook of Belief Dynamics: Theory Change and Database Updating

Sven Ove Hansson Couverture souple
248,50 $
2 formats offerts
Harmony and Paradox: Intensional Aspects of Proof-theoretic Semantics

Luca Tranchini Couverture souple
72,95 $
Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics

Luca Tranchini Couverture souple
58,50 $
Language In Action: Categories, Lambdas and Dynamic Logic

J. Van Benthem Couverture rigide
107,95 $
Model-Based Reasoning, Abductive Cognition, Creativity: Inferences and Models in Science, Logic, Language, and Technolog: Inferences and Models in Science, Logic, Language, and Technology

Emiliano Ippoliti Couverture rigide
321,50 $
The Logic Of Information: A Theory Of Philosophy As Conceptual Design

Luciano Floridi Couverture souple
36,42 $
3 formats offerts
Dialog Systems: A Perspective From Language, Logic And Computation

Teresa Lopez-soto Couverture rigide
189,95 $
2 formats offerts
Tableau Methods For Propositional Logic And Term Logic

Tomasz Jarmużek Couverture rigide
99,70 $