Visar resultat för...

Studies in Logic and the Foundations of Mathematics

43 produkter
Samuel R. Buss, S. R. Buss, S.R. Buss, USA) Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, S. R. Buss - Handbook of Proof Theory, Inbunden

Inbunden, Engelska, 1998

2 179 kr

Skickas inom 7-10 vardagar
M. Kracht, Germany) Kracht, M. (Freie Universitat Berlin, II. Mathematisches Institut, Berlin, Arjen Sevenster - Tools and Techniques in Modal Logic, Inbunden

Inbunden, Engelska, 1999

2 629 kr

Skickas inom 5-8 vardagar
C.J. Ash, J. Knight, USA) Knight, J. (University of Notre Dame, Department of Mathematics, Notre Dame, IN, C. J. Ash - Computable Structures and the Hyperarithmetical Hierarchy, Inbunden

Inbunden, Engelska, 2000

2 359 kr

Skickas inom 5-8 vardagar
P. Odifreddi, Italy) Odifreddi, P. (University of Turin - Classical Recursion Theory, Volume II, Inbunden
Del 143 - Studies in Logic and the Foundations of Mathematics

Classical Recursion Theory, Volume II

Av P. Odifreddi, Italy) Odifreddi, P. (University of Turin

Inbunden, Engelska, 1999

2 129 kr

Skickas inom 7-10 vardagar
R. Fraisse - Theory of Relations, Inbunden
Del 145 - Studies in Logic and the Foundations of Mathematics

Theory of Relations

Av R. Fraisse

Inbunden, Engelska, 2000

2 399 kr

Skickas inom 7-10 vardagar
B. Jacobs, The Netherlands) Jacobs, B. (Computing Science Institute, University of Nijmegen - Categorical Logic and Type Theory, Häftad

Häftad, Engelska, 2001

1 419 kr

Skickas inom 7-10 vardagar
Robin Hirsch, Ian Hodkinson, UK) Hirsch, R. (University College, London, UK) Hodkinson, I. (Imperial College, London - Relation Algebras by Games, Inbunden

Inbunden, Engelska, 2002

2 809 kr

Skickas inom 5-8 vardagar
Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten - Realizability, Inbunden
Del 152 - Studies in Logic and the Foundations of Mathematics

Realizability

Av Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten

Inbunden, Engelska, 2008

2 189 kr

Skickas inom 7-10 vardagar
Roger Duncan Maddux, USA) Maddux, Roger Duncan (Department of Mathematics, Iowa State University, Ames, Iowa, 5001, Duncan Maddux, Roger - Relation Algebras, Inbunden

Inbunden, Engelska, 2006

3 459 kr

Skickas inom 5-8 vardagar
A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen, Anne S. Troelstra - Constructivism in Mathematics, Vol 1, Inbunden
Del 121 - Studies in Logic and the Foundations of Mathematics

Constructivism in Mathematics, Vol 1

Av A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen, Anne S. Troelstra

Inbunden, Engelska, 1988

909 kr

Skickas inom 7-10 vardagar
A.S. Troelstra, D. van Dalen, 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

Av A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen

Inbunden, Engelska, 1988

1 029 kr

Skickas inom 7-10 vardagar
A. Cantini, Italy) Cantini, A. (University of Florence, Department of Philosophy, Andrea Cantini - Logical Frameworks for Truth and Abstraction, Inbunden

Inbunden, Engelska, 1996

2 379 kr

Skickas inom 5-8 vardagar
K. Kunen, Kenneth 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

Av K. Kunen, Kenneth Kunen

Inbunden, Engelska, 1983

889 kr

Skickas inom 7-10 vardagar
J. van Benthem, The Netherlands) van Benthem, J. (University of Amsterdam, Institute for Logic, Language and Computation, Amsterdam, J. Van Benthem, J. F. A. K. Van Benthem - Language in Action, Inbunden

Inbunden, Engelska, 1991

1 739 kr

Skickas inom 5-8 vardagar
P. Odifreddi, Italy) Odifreddi, P. (University of Turin, Piergiorgio Odifreddi - Classical Recursion Theory, Häftad
Del 125 - Studies in Logic and the Foundations of Mathematics

Classical Recursion Theory

Av P. Odifreddi, Italy) Odifreddi, P. (University of Turin, Piergiorgio Odifreddi

Häftad, Engelska, 1992

1 579 kr

Skickas inom 5-8 vardagar
V.V. Rybakov, Russia) Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, V. V. Rybakov, Vladimir V. Rybakov - Admissibility of Logical Inference Rules, Inbunden

Inbunden, Engelska, 1997

2 539 kr

Skickas inom 5-8 vardagar
E. R. Griffot, Edward R. Griffor, E.R. Griffor, USA) Griffor, E.R. (Communication Advisors, Inc., Southfield, MI, E. R. Griffor - Handbook of Computability Theory, Inbunden

Inbunden, Engelska, 1999

3 109 kr

Skickas inom 5-8 vardagar
A.A. Fraenkel, Y. Bar-Hillel, A. Levy - Foundations of Set Theory, Inbunden
Del 67 - Studies in Logic and the Foundations of Mathematics

Foundations of Set Theory

Av A.A. Fraenkel, Y. Bar-Hillel, A. Levy

Inbunden, Engelska, 1973

1 959 kr

Slutsåld
Mircea Pitici - Best Writing on Mathematics 2018, Häftad

Häftad, Engelska, 2018

269 kr

Skickas inom 5-8 vardagar
Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo - Objects, Structures, and Logics, Inbunden
Del 339 - Boston Studies in the Philosophy and History of Science

Objects, Structures, and Logics

Av Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo

Inbunden, Engelska, 2022

2 109 kr

Skickas inom 7-10 vardagar