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^.52 lei 447^.86 lei

36-50 zile | 6-12 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ț: 536^.53 lei 696^.79 lei

36-50 zile

-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ț: 381^.65 lei

43-57 zile

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

Autor A.S. Troelstra et al.

iul 1988

Preț: 304^.56 lei 1439^.89 lei

36-50 zile

-79%

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

Autor A.S. Troelstra et al.

noi 1988

Preț: 353^.59 lei

36-50 zile

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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-27%

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

Editat de S.R. Buss

9 iul 1998

Preț: 768^.85 lei 1495^.25 lei

36-50 zile

-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

43-57 zile

-20%

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

Autor B. Jacobs

10 mai 2001

Preț: 607^.19 lei 925^.56 lei

36-50 zile

-34%

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

Autor M. Kracht

17 iun 1999

Preț: 835^.20 lei 1144^.10 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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^.06 lei 1035^.19 lei

36-50 zile

-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

43-57 zile

-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

43-57 zile

-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ț: 793^.28 lei 1358^.06 lei

36-50 zile

-42%

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

Autor Dov M. Gabbay et al.

9 iun 2009

Preț: 1043^.32 lei 1430^.75 lei

36-50 zile

-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