Login

Search "Mathematical Logic and Foundations"

Li, Wei - Mathematical Logic, ebook

Mathematical Logic

Li, Wei

62,00€

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.…

Casari, E. - Aspects of Mathematical Logic, ebook

Aspects of Mathematical Logic

Casari, E.

45,75€

Table of contents
1. Basic Notions and Applications of the Theory of Decidability
H. Hermes
2. On Several Continuum Hypotheses
Djurio Kurepa
3. Models of Set Theory
A. Mostowski
4. Problems and Methods of Model Theory
Abraham…

Abramsky, Samson - Dependence Logic, ebook

Dependence Logic

Abramsky, Samson

130,70€

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

Abeles, Francine F. - Modern Logic 1850-1950, East and West, ebook

Modern Logic 1850-1950, East and West

Abeles, Francine F.

66,10€

On the Way to Modern Logic: The Case of Polish Logic
Roman Murawski
10. Russian Origins of Non-Classical Logics
Valentin A. Bazhanov
11. Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within
Vladik Kreinovich
12.

Braüner, Torben - Hybrid Logic and its Proof-Theory, ebook

Hybrid Logic and its Proof-Theory

Braüner, Torben

124,00€

Table of contents
1. Introduction to Hybrid Logic
Torben Braüner
2. Proof-Theory of Propositional Hybrid Logic
Torben Braüner
3. Tableaus and Decision Procedures for Hybrid Logic
Torben Braüner
4. Comparison to Seligman’s Natural Deduction System
Torben Braüner
5. Functional Completeness

Marković, Zoran - Probability Logics, ebook

Probability Logics

Marković, Zoran

130,70€

Probability Logics with Iterations of Probability Operators
Zoran Ognjanović, Miodrag Rašković, Zoran Marković
5. Extensions of the Probability Logics LPP