Language in action : categories, lambdas and dynamic logic /

Na minha lista:

Detalhes bibliográficos
Autor principal:	Benthem, J. F. A. K. van
Formato:	Livro
Publicado em:
Assuntos:	Linguagem e lógica. Gramática categorial. Cálculo lambda. Lógica simbólica e matemática. Linguística matemática.
Endereço do item:	https://app.bczm.ufrn.br/home/#/item/101184
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Lambda-calculus and combinators : an introduction /
por: Hindley, J. Roger., et al.
Publicado em: (2022)

The lambda calculus : its syntax and semantics /
por: Barendregt, H. P.
Publicado em: (2022)

An introduction to lambda calculi for computer scientists /
por: Hankin, Chris,
Publicado em: (2022)

Typed lambda calculi and applications /
por: Bezem, M., et al.
Publicado em: (2022)

Derivation and computation : taking the Curry-Howard correspondence seriously /
por: Simmons, Harold
Publicado em: (2022)

Language, proof and logic /
por: Barwise, Jon., et al.
Publicado em: (2022)

Logic, language and computation /
por: Seligman, Jerry.
Publicado em: (2022)

The calculi of lambda-conversion /
por: Church, Alonzo.
Publicado em: (2022)

Sets, logic, and categories /
por: Cameron, Peter J.
Publicado em: (2022)

Games, norms and reasons : logic at the crossroads /
por: Benthem, J. F. A. K. van,, et al.
Publicado em: (2022)

Domains and lambda-calculi /
por: Amadio, Roberto M., et al.
Publicado em: (2022)

Logic, sets, and recursion /
por: Causey, Robert L.
Publicado em: (2022)

Conceptual mathematics : a first introduction to categories /
por: Lawvere, F.W., et al.
Publicado em: (2022)

An introduction to functional programming through lambda calculus /
por: Michaelson, Greg.
Publicado em: (2022)

Symbolic logic and the game of logic / Lewis Carroll. -
por: Carroll, Lewis,
Publicado em: (2022)

Formal languages in logic : a philosophical and cognitive analysis /
por: Novaes, Catarina Dutilh
Publicado em: (2022)

Introduction to logic /
por: Suppes, Patrick,
Publicado em: (2022)

Logic and structure /
por: Dalen, D. van
Publicado em: (2022)

The logic book /
por: Bergmann, Merrie, et al.
Publicado em: (2022)

Elements of mathematical logic /
por: Novikov, P. S.
Publicado em: (2022)

Categories for the working mathematician /
por: Mac Lane, Saunders,
Publicado em: (2022)

In the light of logic /
por: Feferman, Solomon,
Publicado em: (2022)

Beginning logic /
por: Lemmon, E. J.
Publicado em: (2022)

Advanced logic for applications /
por: Grandy, Richard E.
Publicado em: (2022)

Logical options: an introduction to classical and alternative logics /
por: Bell, John L., et al.
Publicado em: (2022)

Logic: techniques of formal reasoning/
por: Kalish, Donald., et al.
Publicado em: (2022)

Logic and information flow /
por: Eijick, J. van (Jan), et al.
Publicado em: (2022)

Formal logic : its scope and limits /
por: Jeffrey, Richard C.
Publicado em: (2022)

From a logical point of view /
por: Quine, W. V.
Publicado em: (2022)

Logical forms : an introduction to philosophical logic /
por: Sainsbury, R. M.
Publicado em: (2022)

Logic for mathematics and computer science /
por: Burris, Stanley N.
Publicado em: (2022)

From Frege to Gödel : a source book in mathematical logic, 1879-1931 /
por: Heijenoort, Jean van,
Publicado em: (2022)

Introduction to logic : predicate logic /
por: Pospesel, Howard,
Publicado em: (2022)

Predicate logic : the semantic foundations of logic/
por: Epstein, Richard L.
Publicado em: (2022)

Introduction à la logique formelle et symbolique : avec des exercices et leurs corrigés /
por: Salem, Jean.
Publicado em: (2022)

Logics of time and computation /
por: Goldblatt, Robert,
Publicado em: (2022)

Metamathematics of fuzzy logic /
por: Hájek, Petr.
Publicado em: (2022)

Introductory modal logic /
por: Konyndyk, Kenneth.
Publicado em: (2022)

An introduction to paraconsistent logics /
por: Bremer, Manuel Eugen.
Publicado em: (2022)

Logicism renewed : logical foundations for mathematics and computer science /
por: Gilmore, Paul C.
Publicado em: (2022)