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

30 noi 1983

Preț: 325^.06 lei 387^.30 lei

5-7 săpt. | 6-12 zile

-16%

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ț: 516^.79 lei 671^.16 lei

5-7 săpt.

-23%

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

Autor A.S. Troelstra et al.

30 iun 1988

Preț: 293^.31 lei 1331^.41 lei

5-7 săpt.

-78%

Constructivism in Mathematics: An Introduction

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

Autor A.S. Troelstra et al.

31 iul 1988

Preț: 376^.97 lei

6-8 săpt.

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

Autor A.S. Troelstra et al.

31 oct 1988

Preț: 340^.55 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

3 feb 1992

Preț: 535^.07 lei 694^.90 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

11 feb 1991

Preț: 754^.36 lei 942^.95 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

13 mar 1996

Preț: 898^.01 lei 1230^.16 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

13 mar 1997

Preț: 965^.38 lei 1322^.44 lei

6-8 săpt.

-27%

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

Editat de S.R. Buss

8 iul 1998

Preț: 740^.61 lei 1382^.60 lei

5-7 săpt.

-46%

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

Editat de E.R. Griffor

30 sep 1999

Preț: 1150^.73 lei 1438^.41 lei

6-8 săpt.

-20%

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

Autor B. Jacobs

9 mai 2001

Preț: 584^.84 lei 855^.88 lei

5-7 săpt.

-32%

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

Autor M. Kracht

16 iun 1999

Preț: 825^.29 lei 1130^.54 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.

15 iun 2000

Preț: 704^.35 lei 964^.87 lei

6-8 săpt.

-27%

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

Editat de A. Arnold et al.

6 feb 2001

Preț: 607^.89 lei 759^.86 lei

6-8 săpt.

-20%

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

Autor Robin Hirsch et al.

14 aug 2002

Preț: 806^.94 lei 1105^.39 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.

20 oct 2003

Preț: 1070^.11 lei 1337^.64 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.

3 iul 2006

Preț: 727^.30 lei 957^.22 lei

5-7 săpt.

-24%

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

Autor Roger Duncan Maddux

14 mai 2006

Preț: 1320^.28 lei 1808^.60 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.

24 apr 2007

Preț: 748^.30 lei 1025^.07 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

5 mar 2008

Preț: 764^.14 lei 1255^.76 lei

5-7 săpt.

-39%

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

Autor Dov M. Gabbay et al.

8 iun 2009

Preț: 1005^.02 lei 1322^.95 lei

5-7 săpt.

-24%

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

Autor Bozzano G Luisa

31 ian 1985

Preț: 775^.99 lei 1063^.00 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, Vol 1

Constructivism in Mathematics: An Introduction

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

Papetărie, jocuri, reviste

Studies in Logic and the Foundations of Mathematics