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

  • 18% Exploring Meinong’s Jungle and Beyond: The Sylvan Jungle - Volume 1
    Preț: 95153 lei
  • 18% Dispositionalism: Perspectives from Metaphysics and the Philosophy of Science
    Preț: 85826 lei
  • 18% Patrick Suppes: Scientific Philosopher
    Preț: 118154 lei
  • 24% Towards a New Scientific Realism
    Preț: 81922 lei
  • 15% Logic and Foundations of Mathematics
    Preț: 61887 lei
  • 18% Ernst Schro¿der on Algebra and Logic
    Preț: 91746 lei
  • 18% Metaphors and Analogies in Sciences and Humanities
    Preț: 93000 lei
  • Gewinnungsarbeiten, Wasserhaltung: IV
    Preț: 42621 lei
  • 24% Current Debates in Philosophy of Science
    Preț: 75763 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ț: 91529 lei
  • 15% Belief and Probability
    Preț: 61205 lei
  • 18% The Scientific World-Perspective and Other Essays, 1931-1963
    Preț: 118566 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ț: 36960 lei
  • 15% Tense Logic
    Preț: 61268 lei
  • 18% Position and Change
    Preț: 91031 lei
  • 18% Dispositions
    Preț: 118340 lei
  • 15% Inference, Method and Decision: Towards a Bayesian Philosophy of Science
    Preț: 61460 lei
  • Human Action and Its Explanation
    Preț: 38438 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ț: 36838 lei
  • Essays in Honour of Jaakko Hintikka
    Preț: 38323 lei
  • 15% Quantum Logic
    Preț: 60939 lei
  • Dismantling the Memory Machine
    Preț: 36985 lei
  • 15% Ontology and the Logistic Analysis of Language: An Enquiry into the Contemporary Views on Universals
    Preț: 61819 lei
  • 15% Hans Reichenbach: Logical Empiricist
    Preț: 64633 lei
  • 18% Transcendental Arguments and Science: Essays in Epistemology
    Preț: 91573 lei
  • Topics in the Formal Methodology of Empirical Sciences
    Preț: 37524 lei
  • 18% Mechanism, Mentalism and Metamathematics: An Essay on Finitism
    Preț: 91406 lei
  • 18% Body, Mind, and Method: Essays in Honor of Virgil C. Aldrich
    Preț: 91529 lei
  • 18% The Structure of Idealization: Towards a Systematic Interpretation of the Marxian Idea of Science
    Preț: 86143 lei
  • 18% The New Rhetoric and the Humanities: Essays on Rhetoric and its Applications
    Preț: 90951 lei
  • 15% Universalizability: A Study in Morals and Metaphysics
    Preț: 61157 lei
  • Justice, Law, and Argument
    Preț: 40305 lei

Preț: 61441 lei

Preț vechi: 72283 lei
-15%

Puncte Express: 922

Carte tipărită la comandă

Livrare economică 29 mai-12 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

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.