Hoppa till sidans huvudinnehåll

Studies in Logic and the Foundations of Mathematics – serie

Visar alla böcker i serien Studies in Logic and the Foundations of Mathematics.
22 produkter
M. Kracht, Arjen Sevenster - Tools and Techniques in Modal Logic, Inbunden
Del 142 - Studies in Logic and the Foundations of Mathematics

Tools and Techniques in Modal Logic

AvM. Kracht,Arjen Sevenster

Inbunden, Engelska, 1999

2 659 kr

Skickas inom 5-8 vardagar

C.J. Ash, J. Knight - Computable Structures and the Hyperarithmetical Hierarchy, Inbunden
Del 144 - Studies in Logic and the Foundations of Mathematics

Computable Structures and the Hyperarithmetical Hierarchy

AvC.J. Ash,J. Knight

Inbunden, Engelska, 2000

2 379 kr

Skickas inom 5-8 vardagar

P. Odifreddi - Classical Recursion Theory, Volume II, Inbunden
Del 143 - Studies in Logic and the Foundations of Mathematics

Classical Recursion Theory, Volume II

AvP. Odifreddi

Inbunden, Engelska, 1999

2 149 kr

Skickas inom 10-15 vardagar

R. Fraisse - Theory of Relations, Inbunden
Del 145 - Studies in Logic and the Foundations of Mathematics

Theory of Relations

AvR. Fraisse

Inbunden, Engelska, 2000

2 419 kr

Skickas inom 10-15 vardagar

A. Arnold, D. Niwinski - Rudiments of Calculus, Inbunden
Del 146 - Studies in Logic and the Foundations of Mathematics

Rudiments of Calculus

AvA. Arnold,D. Niwinski

Inbunden, Engelska, 2001

1 759 kr

Skickas inom 5-8 vardagar

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay - Many-Dimensional Modal Logics: Theory and Applications, Inbunden
Del 148 - Studies in Logic and the Foundations of Mathematics

Many-Dimensional Modal Logics: Theory and Applications

AvA. Kurucz,F. Wolterm. fl.

Inbunden, Engelska, 2003

3 069 kr

Skickas inom 5-8 vardagar

B. Jacobs - Categorical Logic and Type Theory, Häftad
Del 141 - Studies in Logic and the Foundations of Mathematics

Categorical Logic and Type Theory

AvB. Jacobs

Häftad, Engelska, 2001

2 309 kr

Skickas inom 5-8 vardagar

Robin Hirsch, Ian Hodkinson - Relation Algebras by Games, Inbunden
Del 147 - Studies in Logic and the Foundations of Mathematics

Relation Algebras by Games

AvRobin Hirsch,Ian Hodkinson

Inbunden, Engelska, 2002

2 829 kr

Skickas inom 5-8 vardagar

Jaap van Oosten - Realizability, Inbunden
Del 152 - Studies in Logic and the Foundations of Mathematics

Realizability

An Introduction to its Categorical Side

AvJaap van Oosten

Inbunden, Engelska, 2008

2 209 kr

Skickas inom 10-15 vardagar

Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman - Quantification in Nonclassical Logic, Inbunden
Del 153 - Studies in Logic and the Foundations of Mathematics

Quantification in Nonclassical Logic

AvDov M. Gabbay,Dimitrij Skvortsovm. fl.

Inbunden, Engelska, 2009

2 809 kr

Skickas inom 10-15 vardagar

Roger Duncan Maddux - Relation Algebras, Inbunden
Del 150 - Studies in Logic and the Foundations of Mathematics

Relation Algebras

AvRoger Duncan Maddux

Inbunden, Engelska, 2006

3 489 kr

Skickas inom 5-8 vardagar

Morten Heine S�rensen, Pawel Urzyczyn - Lectures on the Curry-Howard Isomorphism, Inbunden
Del 149 - Studies in Logic and the Foundations of Mathematics

Lectures on the Curry-Howard Isomorphism

AvMorten Heine S�rensen,Pawel Urzyczyn

Inbunden, Engelska, 2006

2 039 kr

Skickas inom 10-15 vardagar

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono - Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Inbunden
Del 151 - Studies in Logic and the Foundations of Mathematics

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

AvNikolaos Galatos,Peter Jipsenm. fl.

Inbunden, Engelska, 2007

2 659 kr

Skickas inom 5-8 vardagar

A.S. Troelstra, D. van Dalen - Constructivism in Mathematics, Vol 1, Inbunden
Del 121 - Studies in Logic and the Foundations of Mathematics

Constructivism in Mathematics, Vol 1

AvA.S. Troelstra,D. van Dalen

Inbunden, Engelska, 1988

909 kr

Skickas inom 10-15 vardagar

A.S. Troelstra, D. van Dalen - Constructivism in Mathematics, Vol 2, Inbunden
Del 123 - Studies in Logic and the Foundations of Mathematics

Constructivism in Mathematics, Vol 2

AvA.S. Troelstra,D. van Dalen

Inbunden, Engelska, 1988

1 039 kr

Skickas inom 10-15 vardagar

A. Cantini - Logical Frameworks for Truth and Abstraction, Inbunden
Del 135 - Studies in Logic and the Foundations of Mathematics

Logical Frameworks for Truth and Abstraction

An Axiomatic Study

AvA. Cantini

Inbunden, Engelska, 1996

2 399 kr

Skickas inom 5-8 vardagar

K. Kunen - Set Theory An Introduction To Independence Proofs, Inbunden
Del 102 - Studies in Logic and the Foundations of Mathematics

Set Theory An Introduction To Independence Proofs

AvK. Kunen

Inbunden, Engelska, 1983

819 kr

Skickas inom 10-15 vardagar

J. van Benthem - Language in Action, Inbunden
Del 130 - Studies in Logic and the Foundations of Mathematics

Language in Action

Categories, Lambdas and Dynamic Logic

AvJ. van Benthem

Inbunden, Engelska, 1991

1 759 kr

Skickas inom 5-8 vardagar

P. Odifreddi - Classical Recursion Theory, Häftad
Del 125 - Studies in Logic and the Foundations of Mathematics

Classical Recursion Theory

The Theory of Functions and Sets of Natural Numbers

AvP. Odifreddi

Häftad, Engelska, 1992

1 589 kr

Skickas inom 5-8 vardagar

V.V. Rybakov - Admissibility of Logical Inference Rules, Inbunden
Del 136 - Studies in Logic and the Foundations of Mathematics

Admissibility of Logical Inference Rules

AvV.V. Rybakov

Inbunden, Engelska, 1997

2 559 kr

Skickas inom 5-8 vardagar

Samuel R. Buss, S. R. Buss, S.R. Buss - Handbook of Proof Theory, Inbunden
Del 137 - Studies in Logic and the Foundations of Mathematics

Handbook of Proof Theory

AvSamuel R. Buss,S. R. Bussm. fl.

Inbunden, Engelska, 1998

2 199 kr

Skickas inom 10-15 vardagar

E. R. Griffot, Edward R. Griffor, E.R. Griffor - Handbook of Computability Theory, Inbunden
Del 140 - Studies in Logic and the Foundations of Mathematics

Handbook of Computability Theory

AvE. R. Griffot,Edward R. Grifform. fl.

Inbunden, Engelska, 1999

3 139 kr

Skickas inom 5-8 vardagar