0 Mėgstami
0Krepšelis

Kategorija „Mathematical foundations“

Rasta: 2663
  1. 1
  2. 2
  3. 3
  4. 4
  5. ...
The Homology of Iterated Loop Spaces
  • Nemokamas pristatymas
-20% su kodu: BOOKS
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Fundamentals of Computation Theory: Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Recursion on the Countable Functionals
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
33,81 
42,26 
Išsiųsime per 11-15 d. d.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
60,91 
76,14 
Išsiųsime per 11-15 d. d.
Cabal Seminar 77 ¿ 79: Proceedings, Caltech-UCLA Logic Seminar 1977 ¿ 79
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Logic Year 1979-80: The University of Connecticut, USA
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
54,14 
67,67 
Išsiųsime per 11-15 d. d.
Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
33,81 
42,26 
Išsiųsime per 11-15 d. d.
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
54,14 
67,67 
Išsiųsime per 11-15 d. d.
Cylindric Set Algebras
  • Nemokamas pristatymas
-20% su kodu: BOOKS
54,14 
67,67 
Išsiųsime per 11-15 d. d.
Model Theory and Arithmetic: Comptes rendus dune action thematique programmee du C.N.R.S. sur la theorie des modeles et lArithmetique, Paris, France, 1979/80
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
54,14 
67,67 
Išsiųsime per 11-15 d. d.
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
54,14 
67,67 
Išsiųsime per 11-15 d. d.
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • Nemokamas pristatymas
-20% su kodu: BOOKS
47,36 
59,20 
Išsiųsime per 11-15 d. d.
Category Theory: Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
47,36 
59,20 
Išsiųsime per 11-15 d. d.
Formally p-adic Fields
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
33,81 
42,26 
Išsiųsime per 11-15 d. d.
Mathematical Foundations of Computer Science 1984: 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
60,91 
76,14 
Išsiųsime per 11-15 d. d.
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
60,91 
76,14 
Išsiųsime per 11-15 d. d.
Techniques of Admissible Recursion Theory
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,69 
84,61 
Išsiųsime per 11-15 d. d.
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,69 
84,61 
Išsiųsime per 11-15 d. d.
Around Classification Theory of Models
  • Nemokamas pristatymas
-20% su kodu: BOOKS
74,52 
93,15 
Išsiųsime per 11-15 d. d.
The Enumerative Theory of Conics after Halphen
  • Nemokamas pristatymas
-20% su kodu: BOOKS
33,81 
42,26 
Išsiųsime per 11-15 d. d.
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
47,42 
59,27 
Išsiųsime per 11-15 d. d.
Injective Choice Functions
  • Nemokamas pristatymas
-20% su kodu: BOOKS
33,81 
42,26 
Išsiųsime per 11-15 d. d.
Nonstandard Asymptotic Analysis
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
33,81 
42,26 
Išsiųsime per 11-15 d. d.
A Connotational Theory of Program Structure
  • Nemokamas pristatymas
-20% su kodu: BOOKS
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Rasta: 2663
  1. 1
  2. 2
  3. 3
  4. 4
  5. ...