Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Semantics of Type Theory: Correctness, Completeness, and Independence Results, T

Name: Semantics of Type Theory: Correctness, Completeness, and Independence Results, T
SKU: 315041652405
Price: 140.22 EUR
Availability: InStock

140,22 €

Produit d'occasion. Ammareal est une entreprise éco-citoyenne. Used product. Ammareal is an eco-conscious company. Producto de segunda mano. Ammareal es una empresa eco-ciudadana. Gebrauchtes Produkt. Ammareal ist ein umweltbewusstes Unternehmen. (test).

Jetzt bei Ebay:

Zum Angebot *

Auteur:

T. Streicher
Editeur:

Birkhauser Boston Inc
Année de publication:

1991
Format:

Broché
EAN:

9780817635947
ISBN:

9780817635947

Standard Shipping:

La Poste - Lettre Internationale 8,00 EUR - Lieferung zwischen 12. May 2025 und 15. May 2025 (bei heutigem Zahlungseingang)
Express Shipping from outside:

Chronopost International 22,00 EUR - Lieferung zwischen 12. May 2025 und 15. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Amerika, Europa, Asien, Australien
Versand ausgeschlossen:

Russische Föderation , Ukraine , Belarus

Semantics of Type Theory: Correctness, Completeness, and Independence Results, T

The Semantics and Proof Theory of the Logic of Bunched Implications, David J. Py

Mathematical Theory of Programme Correctness, J. W. de Bakker

Semantics from Different Points of View (Springer Series in Language and Communi

DEBATING P.C. Paul BERMAN The Political Correctness On College Campuses

Recent Results in the Theory of Graph Spectra, D.M. Cvetkovic, I. Gutman, M. Doo

Type-Logical Semantics, Bob C Carpenter

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (EATC

Cross-cultural Pragmatics: The Semantics of Human Interaction, Anna Wierzbicka e

Theory of Program Structures: Schemes, Semantics, Verification, Sheila A. Greiba

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (EATC

Computation of Language: An Essay on Syntax, Semantics and Pragmatics in Natural

RECURSIVE PROGRAM SCHEMES: SEMANTICS AND PROOF THEORY (MATHEMATICAL CENTRE TRACT

Formal Models and Semantics, Jan van Leeuwen

Studies in the syntax and semantics of the reduplicated presents of Homeric Gree

RECURSIVE PROGRAM SCHEMES: SEMANTICS AND PROOF THEORY (MATHEMATICAL CENTRE TRACT

Modern Linguistics: The Results of Chomsky's Revolution, N.V. Smith

Computational Semantics: An Introduction to Artificial Intelligence and Natural

Logic Programming: Operational Semantics and Proof Theory, James H. Andrews

Theoretical Aspects of Object-Oriented Programming - Types, Semantics & Lang

The Semantics of Destructive LISP (Volume 5) (Lecture Notes), Ian A. Mason

Semantics of Type Theory: Correctness, Completeness, and Independence Results, T

Ähnliche Artikel

The Semantics and Proof Theory of the Logic of Bunched Implications, David J. Py

Mathematical Theory of Programme Correctness, J. W. de Bakker

Semantics from Different Points of View (Springer Series in Language and Communi

DEBATING P.C. Paul BERMAN The Political Correctness On College Campuses

Recent Results in the Theory of Graph Spectra, D.M. Cvetkovic, I. Gutman, M. Doo

Type-Logical Semantics, Bob C Carpenter

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (EATC

Cross-cultural Pragmatics: The Semantics of Human Interaction, Anna Wierzbicka e

Theory of Program Structures: Schemes, Semantics, Verification, Sheila A. Greiba

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (EATC

Computation of Language: An Essay on Syntax, Semantics and Pragmatics in Natural

RECURSIVE PROGRAM SCHEMES: SEMANTICS AND PROOF THEORY (MATHEMATICAL CENTRE TRACT

Formal Models and Semantics, Jan van Leeuwen

Studies in the syntax and semantics of the reduplicated presents of Homeric Gree

RECURSIVE PROGRAM SCHEMES: SEMANTICS AND PROOF THEORY (MATHEMATICAL CENTRE TRACT

Modern Linguistics: The Results of Chomsky&#039;s Revolution, N.V. Smith

Computational Semantics: An Introduction to Artificial Intelligence and Natural

Logic Programming: Operational Semantics and Proof Theory, James H. Andrews

Theoretical Aspects of Object-Oriented Programming - Types, Semantics &amp; Lang

The Semantics of Destructive LISP (Volume 5) (Lecture Notes), Ian A. Mason

Cookie Hinweis

Modern Linguistics: The Results of Chomsky's Revolution, N.V. Smith

Theoretical Aspects of Object-Oriented Programming - Types, Semantics & Lang