Cantitate/Preț
Produs
Total produse
Vezi coșul
Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi de K.A. Bowen

Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi: Synthese Library, cartea 127

Autor K.A. Bowen
en Limba Engleză Hardback – 31 dec 1978

Din seria Synthese Library

  • 20% Reasoning about Preference Dynamics
    Preț: 60155 lei
  • 15% Truth in Fiction: Rethinking its Logic
    Preț: 61380 lei
  • 18% Exploring Meinong’s Jungle and Beyond: The Sylvan Jungle - Volume 1
    Preț: 95153 lei
  • 15% Ultralogic as Universal?: The Sylvan Jungle - Volume 4
    Preț: 57368 lei
  • 15% Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content
    Preț: 56427 lei
  • 15% Scientific Discovery in the Social Sciences
    Preț: 66959 lei
  • 18% Dispositionalism: Perspectives from Metaphysics and the Philosophy of Science
    Preț: 85826 lei
  • 15% Vagueness as Arbitrariness: Outline of a Theory of Vagueness
    Preț: 61850 lei
  • Philosophy of Astrophysics: Stars, Simulations, and the Struggle to Determine What is Out There
    Preț: 29731 lei
  • 18% Philosophy of Language
    Preț: 91543 lei
  • 18% Metaphors and Analogies in Sciences and Humanities
    Preț: 93000 lei
  • 18% Top-Down Causation and Emergence
    Preț: 92061 lei
  • 24% The Roles of Representation in Visual Perception
    Preț: 77595 lei
  • Gewinnungsarbeiten, Wasserhaltung: IV
    Preț: 42621 lei
  • 18% Academic Skepticism in Hume and Kant
    Preț: 69938 lei
  • 18% Ernst Schro¿der on Algebra and Logic
    Preț: 91746 lei
  • 18% Markus Gabriel's New Realism
    Preț: 86645 lei
  • 24% Current Debates in Philosophy of Science
    Preț: 75821 lei
  • 18% A Metaphysics of Platonic Universals and their Instantiations
    Preț: 70879 lei
  • 5% The Behavior of Human Infants
    Preț: 35805 lei
  • 15% Texture in the Work of Ian Hacking
    Preț: 55759 lei
  • 15% A Precis of Mathematical Logic
    Preț: 61300 lei
  • 18% Formal Methods in the Methodology of Empirical Sciences: Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974
    Preț: 92164 lei
  • 15% Belief and Probability
    Preț: 61757 lei
  • 18% The Scientific World-Perspective and Other Essays, 1931–1963
    Preț: 118277 lei
  • 15% Unity of Science
    Preț: 61803 lei
  • 18% Mathematical Thought: An Introduction to the Philosophy of Mathematics
    Preț: 96153 lei
  • Advanced Logic for Applications
    Preț: 36770 lei
  • 15% Tense Logic
    Preț: 61268 lei
  • 18% Position and Change: A Study in Law and Logic
    Preț: 91529 lei
  • 18% Dispositions
    Preț: 118340 lei
  • 15% Inference, Method and Decision: Towards a Bayesian Philosophy of Science
    Preț: 62103 lei
  • Human Action and Its Explanation: A Study on the Philosophical Foundations of Psychology
    Preț: 38082 lei
  • Semiotics in Poland 1894–1969
    Preț: 38526 lei
  • 18% Mathematical Epistemology and Psychology
    Preț: 117780 lei
  • 15% Action Theory and Social Science: Some Formal Models
    Preț: 61424 lei
  • 18% Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
    Preț: 117792 lei
  • Studies in Inductive Probability and Rational Expectation
    Preț: 36602 lei
  • Essays in Honour of Jaakko Hintikka: On the Occasion of His Fiftieth Birthday on January 12, 1979
    Preț: 37989 lei
  • 15% Quantum Logic
    Preț: 61566 lei

Preț: 61441 lei

Preț vechi: 72283 lei
-15% Nou

Puncte Express: 922
Preț estimativ în valută:
10872€ • 12749$ • 9548£

Carte tipărită la comandă

Livrare economică 07-21 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789027709295
ISBN-10: 9027709297
Pagini: 156
Ilustrații: X, 139 p. 1 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:1979
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

Syntactic Considerations.- Modal Structures and Morphisms.- Validity.- Completeness.- Löwenheim-Skolem Theorems.- Ultraproducts.- Ultrafilter Pairs and Elementary Embeddings.- Direct Limits.- Model Extensions.- Inductive Theories.- Joint Consistency and Interpolation.- Model Completeness.- Finite Forcing.- Forcing and Model Completions.- Omitting Types and a Two-Cardinal Theorem.