Examinando Logic 241 - 260 de 1511 resultados

Libro electrónico
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
- William M. Farmer
- Birkhäuser
- Diseño fijo
A partir de:S/ 66.49 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic Essentials
- 1st Edición
- W. Kent Wilson
- Research & Education Association
- Diseño ajustable
S/ 13.60 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Das Internationale Problemturnier Deutschen Schachbundes Nürnberg 1883
Eine Auswahl von 118 der schönsten Probleme, nebst dem Urteil und dem kritischen Bericht der Preisrichter
- 1st Edición
- De Gruyter
- Diseño fijo
S/ 456.84 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Automatic Complexity
A Computable Measure of Irregularity
- 1st Edición
- Bjørn Kjos-Hanssen
- De Gruyter
- Diseño ajustable
S/ 716.00 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Operators vs Quantifiers
- 1st Edición
- Routledge
- Diseño ajustable
A partir de:S/ 116.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A. Anderssens Schachpartieen aus den Jahren 1864 und 1865
- 1st Edición
- De Gruyter
- Diseño fijo
S/ 432.98 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic
Volume I: Set Theory
- 2nd Edición
- Douglas Cenzer; Christopher Porter; Jindřich Zapletal
- WSPC
- Diseño ajustable
S/ 92.06 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/ 162.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
R-Calculus, VI: Finite Injury Priority Method
- Wei Li; Yuefei Sui
- Springer
- Diseño ajustable
A partir de:S/ 163.66 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Finitely Presented Groups
With Applications in Post-Quantum Cryptography and Artificial Intelligence
- 1st Edición
- Volker Diekert, Martin Kreuzer
- De Gruyter
- Diseño ajustable
S/ 450.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Institution-independent Model Theory
- 2nd Edición
- Răzvan Diaconescu
- Birkhäuser
- Diseño fijo
A partir de:S/ 152.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Einführung in das mathematische Denken
Ein kompakter Vorkurs
- Elena Berdysheva
- Springer Spektrum
- Diseño ajustable
A partir de:S/ 15.34 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Intuitionistic Analysis
A Constructive Frame of Mind
- Dirk van Dalen; Mark van Atten; Craig Smoryński
- Springer
- Diseño ajustable
A partir de:S/ 61.37 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 46.03 PENEl precio incluye IGV
Ver detalles

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

Libro electrónico
Set theory
- AUTHOR, UNKNOWN
- Academic Press
- Diseño fijo
S/ 248.72 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Orders: Description and Roles: Description and Roles
- Pouzet, M.; Richard, D.
- North Holland
- Diseño fijo
S/ 248.72 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Mathematical Logic for Computer Science
- 3rd Edición
- Mordechai Ben-Ari
- Springer
- Diseño ajustable
A partir de:S/ 66.49 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Pristine Perspectives on Logic, Language and Computation
ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
- Author
- Springer
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Introduction to Set Theory, Revised and Expanded
- 3rd Edición
- Karel Hrbacek; Thomas Jech
- CRC Press
- Diseño ajustable
A partir de:S/ 262.53 PENEl precio incluye IGV
Ver detalles