Vor Ort
Merkzettel Warenkorb
  • Produktbild: Mathematical Logic and Its Applications
  • Produktbild: Mathematical Logic and Its Applications

Mathematical Logic and Its Applications

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.11.2011

Abbildungen

386 p.

Herausgeber

Dimiter G. Skordev

Verlag

Springer Us

Seitenzahl

386

Maße (L/B/H)

24,4/17/2,1 cm

Gewicht

668 g

Auflage

1987

Sprache

Englisch

ISBN

978-1-4612-8234-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.11.2011

Abbildungen

386 p.

Herausgeber

Dimiter G. Skordev

Verlag

Springer Us

Seitenzahl

386

Maße (L/B/H)

24,4/17/2,1 cm

Gewicht

668 g

Auflage

1987

Sprache

Englisch

ISBN

978-1-4612-8234-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Mathematical Logic and Its Applications
  • Produktbild: Mathematical Logic and Its Applications
  • Gödel Session (Invited Papers).- Remarks Concerning Kurt Gödel’s Life and Work.- Facets of Incompleteness.- Goder s Life and Work.- Summer School (Invited Papers).- Categorial Grammar Lambda Calculus.- A Constructive Morse Theory of Sets.- Differentiation of Constructive Functions of a Real Variable and Relative Computability.- A Completeness Theorem for Higher-Order Intuitionistic Logic: An Intuitionistic Proof.- Reasoning in Trees.- Non-Deterministic Program Schemata and their Relation to Dynamic Logic.- The Parallel Evaluation of Functional Programs.- Logic Approximating Sequences of Sets.- Intuitionistic Formal Spaces — A First Communication.- On the Logic of Small Changes in Theories, II.- On ‘Logical Relations’ in Program Semantics.- Conference (Contributed Papers).- Search Computabi1ity and Computabi1ity with Numberings Are Equivalent the Case of Finite Set of Objects.- Cut-Elimination Theorem for Higher-Order Classical Logic. An Intuitionistic Proof.- Modal Environment for Boolean Speculations.- Distributive Spaces.- Approximating the Projective Model.- Projection Complete Graph Problems Corresponding to a Branching-Program-Based Characterization of the Complexity Classes HC2, L and NL.- Constructive Theories with Abstract Data Types for Program Synthesis.- A First-Order Logic for Logic Programming.- The Relational Semantics for Branched Quantifiers.- Propositional Dynamic Logic in Two- and More Dimensions.- On a Non-Constructive Type Theory and Program Derivation.- Prime Computabi1ity on Partial Structures.- Complexity Bounded Martin-Löf Tests.- Participants and Contributors.