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ț: 337^.87 lei 448^.21 lei

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

-25%

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ț: 537^.11 lei 697^.55 lei

5-7 săpt.

-23%

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

Autor A.S. Troelstra et al.

iul 1988

Preț: 304^.88 lei 1441^.01 lei

5-7 săpt.

-79%

Constructivism in Mathematics: An Introduction

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

Autor A.S. Troelstra et al.

aug 1988

Preț: 381^.65 lei

6-8 săpt.

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

Autor A.S. Troelstra et al.

noi 1988

Preț: 353^.98 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ț: 541^.57 lei 703^.34 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ț: 763^.46 lei 954^.32 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ț: 908^.78 lei 1244^.91 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ț: 976^.96 lei 1338^.29 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ț: 769^.69 lei 1496^.41 lei

5-7 săpt.

-49%

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

Editat de E.R. Griffor

oct 1999

Preț: 1164^.50 lei 1455^.62 lei

6-8 săpt.

-20%

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

Autor B. Jacobs

10 mai 2001

Preț: 607^.84 lei 926^.28 lei

5-7 săpt.

-34%

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

Autor M. Kracht

17 iun 1999

Preț: 835^.20 lei 1144^.10 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ț: 712^.84 lei 976^.49 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ț: 552^.97 lei 718^.15 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ț: 816^.62 lei 1118^.65 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ț: 1082^.92 lei 1353^.65 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ț: 755^.85 lei 1035^.99 lei

5-7 săpt.

-27%

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

Autor Roger Duncan Maddux

15 mai 2006

Preț: 1336^.03 lei 1830^.18 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ț: 794^.14 lei 1359^.14 lei

5-7 săpt.

-42%

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

Autor Dov M. Gabbay et al.

9 iun 2009

Preț: 1044^.44 lei 1431^.86 lei

5-7 săpt.

-27%

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

Autor Bozzano G Luisa

feb 1985

Preț: 806^.45 lei 1104^.73 lei

-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ț: 757^.31 lei 1037^.41 lei

6-8 săpt.

-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

Realizability: An Introduction to its Categorical Side

Quantification in Nonclassical Logic

Cylindric Algebras

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Papetărie, jocuri, reviste

Studies in Logic and the Foundations of Mathematics