Studies in Logic and the Foundations of Mathematics

Set Theory An Introduction To Independence Proofs

Studies in Logic and the Foundations of Mathematics, nr. 102

Autor K. Kunen

dec 1983

Preț: 339^.49 lei 448^.46 lei

5-7 săpt. | 7-13 zile

-24%

The Lambda Calculus: Its Syntax and Semantics

Studies in Logic and the Foundations of Mathematics, nr. 103

Autor H.P. Barendregt

30 sep 1984

Preț: 536^.53 lei 696^.79 lei

5-7 săpt.

-23%

Constructivism in Mathematics: An Introduction

Studies in Logic and the Foundations of Mathematics, nr. 121

Autor A.S. Troelstra et al.

aug 1988

Preț: 383^.11 lei

6-8 săpt.

Studies in Logic and the Foundations of Mathematics, nr. 121

Autor A.S. Troelstra et al.

iul 1988

Preț: 306^.35 lei 1441^.80 lei

5-7 săpt.

-79%

Studies in Logic and the Foundations of Mathematics, nr. 123

Autor A.S. Troelstra et al.

noi 1988

Preț: 353^.59 lei

5-7 săpt.

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers

Studies in Logic and the Foundations of Mathematics, nr. 125

Autor P. Odifreddi

4 feb 1992

Preț: 543^.67 lei 706^.06 lei

6-8 săpt.

-23%

Language in Action: Categories, Lambdas and Dynamic Logic

Studies in Logic and the Foundations of Mathematics, nr. 130

Autor J. van Benthem

12 feb 1991

Preț: 766^.41 lei 958^.01 lei

6-8 săpt.

-20%

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Studies in Logic and the Foundations of Mathematics, nr. 135

Autor A. Cantini

14 mar 1996

Preț: 912^.32 lei 1249^.75 lei

6-8 săpt.

-27%

Admissibility of Logical Inference Rules

Studies in Logic and the Foundations of Mathematics, nr. 136

Autor V.V. Rybakov

14 mar 1997

Preț: 980^.75 lei 1343^.50 lei

6-8 săpt.

-27%

Studies in Logic and the Foundations of Mathematics, nr. 137

Editat de S.R. Buss

9 iul 1998

Preț: 773^.43 lei 1497^.25 lei

5-7 săpt.

-48%

Studies in Logic and the Foundations of Mathematics, nr. 140

Editat de E.R. Griffor

oct 1999

Preț: 1169^.03 lei 1461^.28 lei

6-8 săpt.

-20%

Studies in Logic and the Foundations of Mathematics, nr. 141

Autor B. Jacobs

10 mai 2001

Preț: 610^.78 lei 926^.78 lei

5-7 săpt.

-34%

Studies in Logic and the Foundations of Mathematics, nr. 142

Autor M. Kracht

17 iun 1999

Preț: 838^.44 lei 1148^.55 lei

6-8 săpt.

-27%

Computable Structures and the Hyperarithmetical Hierarchy

Studies in Logic and the Foundations of Mathematics, nr. 144

Autor C.J. Ash et al.

16 iun 2000

Preț: 715^.61 lei 980^.29 lei

6-8 săpt.

-27%

Studies in Logic and the Foundations of Mathematics, nr. 146

Editat de A. Arnold et al.

7 feb 2001

Preț: 555^.12 lei 720^.93 lei

6-8 săpt.

-23%

Studies in Logic and the Foundations of Mathematics, nr. 147

Autor Robin Hirsch et al.

15 aug 2002

Preț: 819^.79 lei 1123^.00 lei

6-8 săpt.

-27%

Many-Dimensional Modal Logics: Theory and Applications

Studies in Logic and the Foundations of Mathematics, nr. 148

Autor A. Kurucz et al.

21 oct 2003

Preț: 1087^.15 lei 1358^.93 lei

6-8 săpt.

-20%

Lectures on the Curry-Howard Isomorphism

Studies in Logic and the Foundations of Mathematics, nr. 149

Autor Morten Heine Sørensen et al.

4 iul 2006

Preț: 759^.53 lei 1036^.55 lei

5-7 săpt.

-27%

Studies in Logic and the Foundations of Mathematics, nr. 150

Autor Roger Duncan Maddux

15 mai 2006

Preț: 1341^.22 lei 1837^.29 lei

6-8 săpt.

-27%

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Studies in Logic and the Foundations of Mathematics, nr. 151

Autor Nikolaos Galatos et al.

25 apr 2007

Preț: 760^.26 lei 1041^.45 lei

6-8 săpt.

-27%

Realizability: An Introduction to its Categorical Side

Studies in Logic and the Foundations of Mathematics, nr. 152

Autor Jaap van Oosten

6 mar 2008

Preț: 797^.99 lei 1359^.86 lei

5-7 săpt.

-41%

Studies in Logic and the Foundations of Mathematics, nr. 153

Autor Dov M. Gabbay et al.

9 iun 2009

Preț: 1049^.52 lei 1432^.64 lei

5-7 săpt.

-27%

Studies in Logic and the Foundations of Mathematics, nr. I

Autor Bozzano G Luisa

feb 1985

Preț: 805^.58 lei 1103^.54 lei

-27%

Studies in Logic and the Foundations of Mathematics

Set Theory An Introduction To Independence Proofs

The Lambda Calculus: Its Syntax and Semantics

Constructivism in Mathematics: An Introduction

Constructivism in Mathematics, Vol 1

Constructivism in Mathematics, Vol 2

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers

Language in Action: Categories, Lambdas and Dynamic Logic

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Admissibility of Logical Inference Rules

Handbook of Proof Theory

Handbook of Computability Theory

Categorical Logic and Type Theory

Tools and Techniques in Modal Logic

Computable Structures and the Hyperarithmetical Hierarchy

Rudiments of Calculus

Relation Algebras by Games

Many-Dimensional Modal Logics: Theory and Applications

Lectures on the Curry-Howard Isomorphism

Relation Algebras

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Realizability: An Introduction to its Categorical Side

Quantification in Nonclassical Logic

Cylindric Algebras

Ficțiune

Business

Medicină

Lifestyle

Copii și adolescenți

Biografii

Artă, arhitectură şi design

Calculatoare și IT

Științe

Tehnologie și inginerie

Papetărie, jocuri, reviste