Aspects of Mathematical Logic

✍ Scribed by H. Hermes (auth.), Prof. E. Casari (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Tongue: English
Leaves: 283
Series: C.I.M.E. Summer Schools 48
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model theory.- S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory.

✦ Table of Contents

Front Matter....Pages i-iii
Basic Notions and Applications of the Theory of Decidability....Pages 1-54
On Several Continuum Hypotheses....Pages 55-64
Models of Set Theory....Pages 65-179
Problems and Methods of Model Theory....Pages 181-266
The General Theory of Semisets....Pages 267-285

✦ Subjects

Mathematical Logic and Foundations

📜 SIMILAR VOLUMES

Aspects of Mathematical Logic

📁 Aspects of Mathematical Logic

✍ H. Hermes (auth.), Prof. E. Casari (eds.) 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model theory.- S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory.

Mathematical aspects of logic programmin

📁 Mathematical aspects of logic programming semantics

✍ Pascal Hitzler; Anthony Seda 📂 Library 📅 2011 🏛 CRC Press

"Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from tradit

Mathematical Aspects of Logic Programmin

📁 Mathematical Aspects of Logic Programming Semantics

✍ Pascal Hitzler, AntHony Seda 📂 Library 📅 2011 🏛 CRC Press 🌐 English

Temporal Logic: Mathematical Foundations

📁 Temporal Logic: Mathematical Foundations and Computational Aspects

✍ Dov M. Gabbay, Ian Hodkinson, Mark Reynolds 📂 Library 📅 1994 🏛 Clarendon Press 🌐 English

We are happy to present the reader with volume 1 of our book on temporal logic. Work on this volume was begun in 1979 by Dov Gabbay, who prepared a draft manuscript [Gabbay, 1981c] which covered earlier versions of chapters 1-3, 6-11, and 13. The 1981 manuscript was intended as a research m

Temporal Logic: Mathematical Foundations

📁 Temporal Logic: Mathematical Foundations and Computational Aspects

✍ Dov. M. Gabbay, Mark A. Reynolds, Marcelo Finger 📂 Library 📅 2000 🏛 Oxford University Press, USA 🌐 English

This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theore

Modern Logic — A Survey: Historical, Phi

📁 Modern Logic — A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications

✍ J. M. Bochenski (auth.), Evandro Agazzi (eds.) 📂 Library 📅 1980 🏛 Springer Netherlands 🌐 English

<p>Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and proliferation of its aspects, that the problem of some kind of unified recom prehension of this discipline seems nowadays unavoidable. This sp