Combinators, -Terms and Proof Theory S. Stenlund Buch Synthese Library HC runder Rücken kaschiert Englisch 1972 - gebonden uitgave, pocketboek
1972, ISBN: 9789027703057
[ED: Gebunden], [PU: Springer Netherland], The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in p… Meer...
booklooker.de |
Combinators, -Terms and Proof Theory S. Stenlund Buch Synthese Library HC runder Rücken kaschiert Englisch 1972 - gebonden uitgave, pocketboek
1972, ISBN: 9789027703057
[ED: Gebunden], [PU: Springer Netherland], The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in p… Meer...
booklooker.de |
Combinators, -Terms and Proof Theory S. Stenlund Buch HC runder Rücken kaschiert Englisch 1972 - gebonden uitgave, pocketboek
1972, ISBN: 9789027703057
[ED: Gebunden], [PU: Springer Netherland], The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in p… Meer...
booklooker.de |
Combinators, ¿-Terms and Proof Theory - gebonden uitgave, pocketboek
1972, ISBN: 9027703051
1972 Gebundene Ausgabe Logik, Philosophie / Logik, interpret; logic; Model; reduction; sound; subject; Truth, mit Schutzumschlag 11, [PU:Springer Netherlands; Springer Netherland]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Combinators, -Terms and Proof Theory - gebonden uitgave, pocketboek
1972, ISBN: 9789027703057
Buch, Hardcover, 1972 ed. [PU: Kluwer Academic Publishers], Kluwer Academic Publishers, 1972
lehmanns.de Verzendingskosten:sofort lieferbar. (EUR 9.95) Details... |
Combinators, -Terms and Proof Theory S. Stenlund Buch Synthese Library HC runder Rücken kaschiert Englisch 1972 - gebonden uitgave, pocketboek
1972, ISBN: 9789027703057
[ED: Gebunden], [PU: Springer Netherland], The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in p… Meer...
Stenlund, S.:
Combinators, -Terms and Proof Theory S. Stenlund Buch Synthese Library HC runder Rücken kaschiert Englisch 1972 - gebonden uitgave, pocketboek1972, ISBN: 9789027703057
[ED: Gebunden], [PU: Springer Netherland], The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in p… Meer...
Combinators, -Terms and Proof Theory S. Stenlund Buch HC runder Rücken kaschiert Englisch 1972 - gebonden uitgave, pocketboek
1972
ISBN: 9789027703057
[ED: Gebunden], [PU: Springer Netherland], The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in p… Meer...
Combinators, ¿-Terms and Proof Theory - gebonden uitgave, pocketboek
1972, ISBN: 9027703051
1972 Gebundene Ausgabe Logik, Philosophie / Logik, interpret; logic; Model; reduction; sound; subject; Truth, mit Schutzumschlag 11, [PU:Springer Netherlands; Springer Netherland]
Combinators, -Terms and Proof Theory - gebonden uitgave, pocketboek
1972, ISBN: 9789027703057
Buch, Hardcover, 1972 ed. [PU: Kluwer Academic Publishers], Kluwer Academic Publishers, 1972
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Combinators, -Terms and Proof Theory
EAN (ISBN-13): 9789027703057
ISBN (ISBN-10): 9027703051
Gebonden uitgave
Verschijningsjaar: 1972
Uitgever: Kluwer Academic Publishers
192 Bladzijden
Gewicht: 0,456 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-11-14T19:22:28+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-06-07T08:02:11+02:00 (Amsterdam)
ISBN/EAN: 9789027703057
ISBN - alternatieve schrijfwijzen:
90-277-0305-1, 978-90-277-0305-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: lambda, stenlund sören
Titel van het boek: combinators terms and proof theory, let over lambda, library terms
Gegevens van de uitgever
Auteur: S. Stenlund
Titel: Synthese Library; Combinators, λ-Terms and Proof Theory
Uitgeverij: Springer; Springer Netherland
177 Bladzijden
Verschijningsjaar: 1972-09-30
Dordrecht; NL
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
X, 177 p.
BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; interpret; logic; model; reduction; sound; subject; truth; Logic; BC
1. The Theory of Combinators and the ?-Calculus.- 1. Introduction.- 2. Informal theory of combinators.- 3. Equality and reduction.- 4. The ?-calculus.- 5. Equivalence of the ?-calculus and the theory of combinators.- 6. Set-theoretical interpretations of combinators.- 7. Illative combinatory logic and the paradoxes.- 2. The Church-Rosser Property.- 1. Introduction.- 2. R-reductions.- 3. One-step reduction.- 4. Proof of main result.- 5. Generalization.- 6. Generalized weak reduction.- 3. Combinatory Arithmetic.- 1. Introduction.- 2. Combinatory definability.- 3. Fixed-points and numeral sequences.- 4. Undecidability results.- 4. Computable Functionals of Finite Type.- 1. Introduction.- 2. Finite types and terms of finite types.- 3. The equation calculus.- 4. The role of the induction rule.- 5. Soundness of the axioms.- 6. Defining axioms and uniqueness rules.- 7. Reduction rules.- 8. Computability and normal form.- 9. Interpretation of types and terms.- 5. Proofs in the Theory of Species.- 1. Introduction.- 2. Formulas, terms and types.- 3. A-terms and deductions.- 4. The equation calculus.- 5. Reduction and normal form.- 6. The strong normalization theorem.- 7. Interpretation of types and terms.- Index of Names.- Index of Subjects.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789401029131 Combinators, I -Terms and Proof Theory (S. Stenlund)
< naar Archief...