Imatge de la portada

Type-Logical Semantics / Type-Logical Semantics

Guardat en:

Dades bibliogràfiques
Autor principal:	Carpenter, Bob
Format:	Llibre
Publicat:	Cambridge : MIT Press, 1997
Edició:	1st ed.
Matèries:	Semantics > Logic Type Theory
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Semantics/
per: Palmer, F. R.
Publicat: (1979)

Semantics/
per: Palmer, F. P.
Publicat: (1995)

Semantic theory/
per: Katz, Jerrold J.
Publicat: (1972)

Semantics: a coursebook/
per: Hurford, James R.
Publicat: (1994)

Semantics/
per: Lyons, John
Publicat: (1977)

Semantics : an interdisciplinary reader in Philosophy, linguistics and psychology/
Publicat: (1978)

Studies in syntax and semantics/
Publicat: (1969)

Semantic syntax/
per: Seuren, Pieter A.M
Publicat: (1974)

A Study on the Conceptual Meaning through Semantic Feature Analysis
per: Alam, Md. Solaiman
Publicat: (2022)

Meaning in language: an introduction to semantics and pragmatics/
per: Cruse, D. Alan
Publicat: (2000)

Environmental pollution and Type 2 Diabetes Mellitus /
per: Meo, Sultan Ayoub
Publicat: (2024)

Meaning and partiality/
per: Muskens, Reinhard
Publicat: (1995)

Reference and modality/
per: Linsky, Leonard
Publicat: (1971)

Applied cryptography : protocols, algorithms and source code in C/
per: Schneier, Bruice
Publicat: (2001)

Applied cryptography : protocols, algorithms and source code in C/
per: Schneier, Bruice
Publicat: (2001)

Applied cryptography : protocols, algorithms and source code in C/
per: Schneier, Bruice
Publicat: (2001)

Categories and De interpretatione/
per: Aristotle
Publicat: (1963)

Linguistic Scmantics: an introduction/
per: Lyons, John, 1932-
Publicat: (1996)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
per: Farmer, William M.
Publicat: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
per: Farmer, William M.
Publicat: (2025)

The Semantic tradition from kant to carnap: to the Vienna Station/
per: Coffa, J. Alberto
Publicat: (1991)

Ideology and liguestic theory: noam chomsky and the deep structure debates: history of lingustic thought/
per: Huck, Geoffrey J.
Publicat: (1996)

The Essence of Logic / The Essence of Logic
per: Kelly, John
Publicat: (1997)

Philosophical Logic / Philosophical Logic
per: Strawson, P. F.
Publicat: (1967)

Logic and Set Theory /
per: Philip, N.
Publicat: (1979)

Logic /
per: Tomassi, Paul
Publicat: (1999)

Philosophy of Logic / Philosophy of Logic
per: Quine, W. V. O.
Publicat: (1970)

Readings on Logic
per: Copi
Publicat: (1972)

Introduction to Logic
per: Copi
Publicat: (2018)

Symbolic Logic
per: Copi
Publicat: (1995)

Readings on Logic /
per: Copi, Irving M.
Publicat: (1972)

Introduction to Logic /
per: Suppes, Patrick
Publicat: (1957)

Language and philosophy : a symposium / language and philosophy
per: Hook, Sidney
Publicat: (1969)

Constructive order types/
per: CROSSLEY, John N.
Publicat: (1969)

Logic and Proof Techniques / Logic and Proof Techniques
per: Eberle, Rolf A.
Publicat: (1996)

Becoming logical : an introduction to logic / an introduction to logic
per: Churchill, Robert Paul
Publicat: (1990)

Introduction to Logic
per: Copi
Publicat: (2008)

Introduction to logic/
per: Copi, Irving M.
Publicat: (1990)

Introduction to logic/
per: Copi, Irving M.
Publicat: (2004)

The Elements of Logic /
per: Barker, Stephen F.
Publicat: (1974)