Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Part 2: Computation and Proof Theory

AvM. M. Richter,E. Börger

Häftad, Engelska, 1984

Del 1104 i serien Lecture Notes in Mathematics

500 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

500 kr

Produktinformation

Utgivningsdatum:1984-12-01
Mått:155 x 235 x 27 mm
Vikt:733 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:482
Upplaga:1984
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540139010

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

Contiguous R.E. Degrees.- Abstract construction of counterexamples in recursive graph theory.- Minimal degrees and 1-generic sets below 0?.- Undecidability and recursive equivalence II.- Logical syntax and computational complexity.- Subrecursive hierarchies via direct limits.- A star-finite relational semantics for parallel programs.- Between constructive and classical mathematics.- Partial closures and semantics of while: Towards an iteration-based theory of data types.- Toward logic tailored for computational complexity.- On a new notion of partial conservativity.- Finitely approximable sets.- A unified approach to constructive and recursive analysis.- On faithful interpretability.- Abstract recursion as a foundation for the theory of algorithms.- Some logical problems connected with a modular decomposition theory of automata.- Diophantine equations in a fragment of number theory.- Generalized rules for quantifiers and the completeness of the intuitionistic operators &, ?, ?, ?, ?, ?.- On subsets of the Skolem class of exponential polynomials.- Effective operators in a topological setting.- An axiomatization of the apartness fragment of the theory DLO+ of dense linear order.

Mer från samma författare

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

M. M. Richter, G. H. Muller

E-bok

2006

542 kr

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

W. Thomas, B. Schinzel, W. Oberschelp, E. Borger, M. M. Richter

E-bok

2006

542 kr

Mer från samma serie

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

281 kr

Del 620

Moduli Theory and Classification Theory of Algebraic Varieties

H. Popp

Häftad, 1977

314 kr

Del 1788

Moduli of Families of Curves for Conformal and Quasiconformal Mappings

Alexander Vasil'ev

Häftad, 2002

499 kr

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

554 kr

Del 2070

Probabilistic Group Theory, Combinatorics, and Computing

Alla Detinko, Dane Flannery, Eamonn O'Brien

Häftad, 2013

390 kr

Del 2191

Leavitt Path Algebras

Gene Abrams, Pere Ara, Mercedes Siles Molina

Häftad, 2017

664 kr

Index and Other Useful Information

A. Dold, B. Eckmann

Häftad, 2013

554 kr

Del 1965

Geometric Properties of Banach Spaces and Nonlinear Iterations

Charles Chidume

Häftad, 2009

556 kr

Del 2229

Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation

Sebastian Klein

Häftad, 2018

445 kr

Del 2228

Zeta Integrals, Schwartz Spaces and Local Functional Equations

Wen-Wei Li

Häftad, 2018

500 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Del 1104

Advances in Computing and Information

N. R. Shetty, N. H. Prasad, N. Nalini

Häftad, 2024

3 080 kr

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

W. Thomas, B. Schinzel, W. Oberschelp, E. Borger, M. M. Richter

E-bok

2006

542 kr

Del 1104

Glycobiophysics

Yoshiki Yamaguchi, Koichi Kato

Inbunden, 2018

1 102 kr

Del 1104

Advances in Computing and Information

N. R. Shetty, N. H. Prasad, N. Nalini

Inbunden, 2023

3 080 kr

Rudolf Kohlhaas - Die Grundlegenden Kalorimetrischen Auswertemethoden: Herleitung Der Thermodynamischen Funktionen Des Reinen Eisens Auf Grund Von Messungen an Einem Ei, Häftad

Del 1104

Die Grundlegenden Kalorimetrischen Auswertemethoden: Herleitung Der Thermodynamischen Funktionen Des Reinen Eisens Auf Grund Von Messungen an Einem Ei

Rudolf Kohlhaas

Häftad, 1962

562 kr

Youssef Benadada, Fatima-Zahra Mhada, Jaouad Boukachour, Fatima Ouzayd, Ahmed El Hilali Alaoui - Proceeding of the 7th International Conference on Logistics Operations Management, GOL'24, Häftad

Del 1104

Proceeding of the 7th International Conference on Logistics Operations Management, GOL'24

Youssef Benadada, Fatima-Zahra Mhada, Jaouad Boukachour, Fatima Ouzayd, Ahmed El Hilali Alaoui

Häftad, 2024

2 416 kr

Del 1104

Advanced Intelligent Systems for Sustainable Development (AI2SD’2019)

Mostafa Ezziyyani

Häftad, 2020

2 197 kr

Del 1104

Die Nemesis der Medizin

Ivan Illich

Häftad, 2026

278 kr

Del 1104

Ich hätte Nein sagen können

Annika Thor

Häftad

112 kr

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Part 2: Computation and Proof Theory

AvM. M. Richter,E. Börger

Häftad, Engelska, 1984

Del 1104 i serien Lecture Notes in Mathematics

500 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

500 kr

Produktinformation

Utgivningsdatum:1984-12-01
Mått:155 x 235 x 27 mm
Vikt:733 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:482
Upplaga:1984
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540139010

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

Contiguous R.E. Degrees.- Abstract construction of counterexamples in recursive graph theory.- Minimal degrees and 1-generic sets below 0?.- Undecidability and recursive equivalence II.- Logical syntax and computational complexity.- Subrecursive hierarchies via direct limits.- A star-finite relational semantics for parallel programs.- Between constructive and classical mathematics.- Partial closures and semantics of while: Towards an iteration-based theory of data types.- Toward logic tailored for computational complexity.- On a new notion of partial conservativity.- Finitely approximable sets.- A unified approach to constructive and recursive analysis.- On faithful interpretability.- Abstract recursion as a foundation for the theory of algorithms.- Some logical problems connected with a modular decomposition theory of automata.- Diophantine equations in a fragment of number theory.- Generalized rules for quantifiers and the completeness of the intuitionistic operators &, ?, ?, ?, ?, ?.- On subsets of the Skolem class of exponential polynomials.- Effective operators in a topological setting.- An axiomatization of the apartness fragment of the theory DLO+ of dense linear order.