Handbook of Constructive Mathematics Encyclopedia of Mathematics and its Applications Editat de Douglas Bridges et al. 10 mai 2023 Hardback Preț: 1081.14 lei 1257.14 lei 6-8 săpt. -14%
Logic and Algebra of Specification NATO ASI Subseries F:, nr. 94 Editat de Friedrich L. Bauer et al. 5 iul 1993 Hardback Preț: 972.60 lei 1215.75 lei 6-8 săpt. -20%
Computational Logic NATO ASI Subseries F:, nr. 165 Editat de Ulrich Berger et al. 14 apr 1999 Hardback Preț: 972.74 lei 1215.92 lei 6-8 săpt. -20%
Logic of Computation NATO ASI Subseries F:, nr. 157 Editat de Helmut Schwichtenberg 13 oct 2012 Paperback Preț: 328.71 lei 410.90 lei 6-8 săpt. -20%
Proofs and Computations Perspectives in Logic Autor Helmut Schwichtenberg et al. 14 dec 2011 Hardback Preț: 534.98 lei 601.09 lei 6-8 săpt. -11%
Proof and Computation NATO ASI Subseries F:, nr. 139 Editat de Helmut Schwichtenberg 13 dec 2011 Paperback Preț: 636.11 lei 795.14 lei 6-8 săpt. -20%
One Hundred Years of Russell´s Paradox: Mathematics, Logic, Philosophy de Gruyter Series in Logic and Its Applications, nr. 6 Contribuţii de John L. Bell et al. 25 iul 2004 Hardback Preț: 1721.97 lei 2236.32 lei 6-8 săpt. -23%
Proof and System-Reliability NATO Science, nr. 62 Autor Ralf Steinbruggen et al. 30 apr 2002 Hardback Preț: 634.61 lei 746.60 lei 6-8 săpt. -15%
Proof and System-Reliability NATO Science Series II: Mathematics, Physics and Chemistry, nr. 62 Editat de Helmut Schwichtenberg et al. 31 mai 2002 Paperback Preț: 384.38 lei 6-8 săpt.
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings Lecture Notes in Computer Science, nr. 1862 Editat de Peter G. Clote et al. 9 aug 2000 Paperback Preț: 657.73 lei 822.16 lei 6-8 săpt. -20%
One Hundred Years of Russell´s Paradox: Mathematics, Logic, Philosophy de Gruyter Series in Logic and Its Applications, nr. 6 Contribuţii de John L. Bell et al. 31 dec 2003 Mixed media product Preț: 1654.55 lei 2266.51 lei Indisponibil temporar -27%