Passer au contenu principal Passer au contenu du pied de page

Résultats de recherche pour

12 articles

Trier par ::

Categorical Logic And Type Theory

Categorical Logic And Type Theory

B. Jacobs Couverture souple

211,95 $

Tools And Techniques In Modal Logic

Tools And Techniques In Modal Logic

M. Kracht Hardcover

244,50 $

Quantification in Nonclassical Logic

Quantification in Nonclassical Logic

Dov M. Gabbay Hardcover

370,50 $

2 formats disponibles

Lectures On The Curry-howard Isomorphism

Lectures On The Curry-howard Isomorphism

Morten Heine Sorensen Hardcover

266,50 $

2 formats disponibles

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

A. Cantini Livre numérique Kobo

159,99 $ ~~Réduction sur le prix courant 199,00 $ à~~

2 formats disponibles

Handbook Of Proof Theory

Handbook Of Proof Theory

S.R. Buss Hardcover

288,95 $

2 formats disponibles

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos Livre numérique Kobo

136,99 $ ~~Réduction sur le prix courant 171,00 $ à~~

2 formats disponibles

Language In Action: Categories, Lambdas and Dynamic Logic

Language In Action: Categories, Lambdas and Dynamic Logic

J. Van Benthem Hardcover

107,95 $

Quantification in Nonclassical Logic

Quantification in Nonclassical Logic

Dov M. Gabbay Hardcover

370,50 $

2 formats disponibles

Lectures On The Curry-howard Isomorphism

Lectures On The Curry-howard Isomorphism

Morten Heine Sorensen Hardcover

266,50 $

2 formats disponibles

Realizability: An Introduction to its Categorical Side

Realizability: An Introduction to its Categorical Side

Jaap Van Oosten Hardcover

281,50 $

2 formats disponibles

Relation Algebras

Relation Algebras

Roger Duncan Maddux Hardcover

451,50 $