Examinando Logic 881 - 900 de 1435 resultados

Libro electrónico
The New Mathematical Coloring Book
Mathematics of Coloring and the Colorful Life of Its Creators
- 2nd Edición
- Alexander Soifer
- Springer
- Diseño ajustable
A partir de:S/ 210.57 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computational Prospects Of Infinity - Part Ii: Presented Talks
- Chong Chitat
- World Scientific
- Diseño fijo
S/ 241.80 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Introduction to Proof in Abstract Mathematics
- Andrew Wohlgemuth
- Dover Publications
- Diseño ajustable
S/ 67.00 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Combinatorial Algebra: Syntax and Semantics
- Mark V. Sapir
- Springer
- Diseño ajustable
A partir de:S/ 55.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computability Theory: An Introduction to Recursion Theory
- Enderton, Herbert B.
- Academic Press
- Diseño fijo
S/ 268.50 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Rise of Modern Logic: from Leibniz to Frege: from Leibniz to Frege
- Gabbay, Dov M.; Woods, John
- North Holland
- Diseño fijo
S/ 906.74 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic, Mathematics, and Computer Science
Modern Foundations with Practical Applications
- 2nd Edición
- Yves Nievergelt
- Springer
- Diseño ajustable
A partir de:S/ 55.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
- 1st Edición
- Jörg Flum; ‎Mario RodriguezArtalejo
- Springer
- Diseño fijo
A partir de:S/ 55.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Mathematical Logic
- Gandy, R.O.; Yates, C.E.M.
- North Holland
- Diseño fijo
S/ 638.08 PENEl precio incluye IGV
Ver detalles

Libro electrónico
CAFE: An Industrial-Strength Algebraic Formal Method: An Industrial-Strength Algebraic Formal Method
- Futatsugi, K.; Nakagawa, A.T.; Tamai, T.
- Elsevier Science
- Diseño fijo
S/ 392.92 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Handbook of Proof Theory
- Buss, S.R.
- Elsevier Science
- Diseño fijo
S/ 789.20 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Diseño fijo
S/ 873.16 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Diseño fijo
S/ 873.16 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung
- 2nd Edición
- Rudolf Berghammer
- Springer Vieweg
- Diseño fijo
A partir de:S/ 25.19 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Categories, Allegories
- Freyd, P.J.; Scedrov, A.
- North Holland
- Diseño fijo
S/ 244.99 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic Colloquium '88
- Ferro, R.; Bonotto, C.; Valentini, S.; Zanardo, A.
- North Holland
- Diseño fijo
S/ 244.99 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
- Springer
- Diseño fijo
A partir de:S/ 89.67 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Diseño fijo
S/ 873.16 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Unknown as an Engine for Science
An Essay on the Definite and the Indefinite
- Hans J. Pirner
- Springer
- Diseño fijo
A partir de:S/ 60.45 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Diseño fijo
S/ 873.16 PENEl precio incluye IGV
Ver detalles