MPG.eBooks - Table of Contents: Mathematical Logic

Cover Image

Read Now

Mathematical Logic

Bibliographic Details
Other Authors:	Petkov, Petio P. (Editor)
Format:	eBook
Language:	English
Published:	New York, NY Springer US 1990, 1990
Edition:	1st ed. 1990
Subjects:	Functional Analysis Logic Mathematical Logic Mathematical Logic And Foundations Algebra Field Theory (physics) Field Theory And Polynomials
Online Access:	https://doi.org/10.1007/978-1-4613-0609-2?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Table of Contents:

the Expextations and Results
Normalization Theorems for the Intuitionistic Systems with Choice Principles
Formalizing the Notion of Total Information
Structural Rules and a Logical Hierarchy
Semantics of Non-classical First Order Predicate Logics
On the Computational Power of the Logic Programs
Some Relations among Systems for Bounded Arithmetic
A Survey of Intuitionistic Descriptive Set Theory
Interpretability Logic
Hierarchies of Provably Computable Functions
Conference (Contributed Papers)
Sequent Calculus for Intuitionistic Linear Propositional Logic
Order Isomorphisms — a Constructive Measure-Theoretic View
1-Generic