Examinando Logic 141 - 160 de 1427 resultados

Libro electrónico
Harvey Friedman's Research on the Foundations of Mathematics
- Harrington, L.A.; Morley, M.D.; Šcedrov, A.; Simpson, S.G.
- North Holland
- Diseño fijo
S/ 245.88 PENEl precio incluye IGV
Ver detalles

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

Libro electrónico
Selected Papers on Automath
- Nederpelt, R.P.; Geuvers, J.H.; de Vrijer, R.C.
- North Holland
- Diseño fijo
S/ 245.88 PENEl precio incluye IGV
Ver detalles

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

Libro electrónico
Algorithms and Complexity
- Bozzano G Luisa
- Elsevier Science
- Diseño fijo
S/ 245.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Deontic Logic in Computer Science
7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
- 1st Edición
- Alessio Lomuscio; ‎Donald Nute
- Springer
- Diseño fijo
A partir de:S/ 55.61 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Admissibility of Logical Inference Rules
- Rybakov, V.V.
- North Holland
- Diseño fijo
S/ 657.24 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Handbook of Logic and Language
- 2nd Edición
- Johan F.A.K. van Benthem
- Elsevier (S&T)
- Diseño ajustable
S/ 724.65 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A Tale of Discrete Mathematics: A Journey Through Logic, Reasoning, Structures and Graph Theory
- Joseph Khoury
- WSPC
- Diseño ajustable
S/ 198.86 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Introduction to Homotopy Type Theory
- Egbert Rijke
- Cambridge University Press
- Diseño fijo
A partir de:S/ 175.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 65.72 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Method of Socratic Proofs
From the Logic of Questions to Proof Theory
- Dorota Leszczyńska-Jasion
- Springer
- Diseño ajustable
A partir de:S/ 160.77 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Mengenlehre
- 1st Edición
- Dieter Klaua
- De Gruyter
- Diseño fijo
S/ 428.01 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Complexity and Randomness in Group Theory
GAGTA BOOK 1
- 1st Edición
- Frédérique Bassino; Ilya Kapovich; Markus Lohrey; Alexei Miasnikov; Cyril Nicaud; Andrey Nikolaev; I
- De Gruyter
- Diseño ajustable
S/ 650.47 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Learning to Reason
An Introduction to Logic, Sets, and Relations
- 1st Edición
- Nancy Rodgers
- Wiley Professional, Reference & Trade
- Diseño fijo
S/ 583.09 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Reverse Mathematics
Proofs from the Inside Out
- John Stillwell
- Princeton University Press
- Diseño fijo
S/ 73.98 PENEl precio incluye IGV
Ver detalles

Libro electrónico
"Das ist o. B. d. A. trivial!"
Tipps und Tricks zur Formulierung mathematischer Gedanken
- 9th Edición
- Albrecht Beutelspacher
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:S/ 20.22 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic, Rationality, and Interaction
Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
- 1st Edición
- Hans Van Ditmarsch; Jerome Lang; Shier Ju
- Springer
- Diseño fijo
A partir de:S/ 55.61 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Die Gödel'schen Unvollständigkeitssätze
Eine geführte Reise durch Kurt Gödels historischen Beweis
- 2nd Edición
- Dirk W. Hoffmann
- Springer Spektrum
- Diseño fijo
A partir de:S/ 35.39 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Line Drawing Interpretation
- Martin Cooper
- Springer
- Diseño fijo
A partir de:S/ 160.77 PENEl precio incluye IGV
Ver detalles