Examinando "Logic" (Mostrando 921 - 940 de 1318 resultados)

Static Analysis
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
por Kwangkeun Yi
- Edición: 1st
- Formato: Formato: fijo
- Desde S/ 62.62 PEN
  El precio incluye IGV

Recent Trends in Algebraic Development Techniques
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
por Author
- Formato: Formato: libro electrónico-ajustable
- Desde S/ 62.62 PEN
  El precio incluye IGV

Logik, Informationstheorie
Band 1: Logik, Informationstheorie
- Edición: 1st
- Formato: Formato: libro electrónico-ajustable
- S/ 216.27 PEN
  El precio incluye IGV

Natural Deduction, Hybrid Systems and Modal Logics
por Andrzej Indrzejczak
- Formato: Formato: libro electrónico-ajustable
- Desde S/ 272.09 PEN
  El precio incluye IGV

Conditionals and Modularity in General Logics
por Dov M. Gabbay; Karl Schlechta
- Formato: Formato: fijo
- Desde S/ 169.63 PEN
  El precio incluye IGV

Dynamics in Logic and Language
Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
- Formato: Formato: libro electrónico-ajustable
- Desde S/ 68.31 PEN
  El precio incluye IGV

Hilary Putnam on Logic and Mathematics
por Geoffrey Hellman
- Formato: Formato: libro electrónico-ajustable
- Desde S/ 62.62 PEN
  El precio incluye IGV

A Logical Introduction to Proof
por Daniel W. Cunningham
- Formato: Formato: libro electrónico-ajustable
- Desde S/ 62.62 PEN
  El precio incluye IGV

Foundations of Algebraic Specification and Formal Softwar...
por Donald Sannella; Andrzej Tarlecki
- Formato: Formato: fijo
- Desde S/ 102.46 PEN
  El precio incluye IGV

Naive Set Theory
por Paul R. Halmos
- Formato: Formato: libro electrónico-ajustable
- S/ 49.14 PEN
  El precio incluye IGV

Provability, Computability and Reflection
por Beklemishev, Lev D.
- Formato: Formato: fijo
- S/ 986.66 PEN
  El precio incluye IGV

A Transition to Abstract Mathematics: Learning Mathematic...
por Maddox, Randall
- Edición: 2nd
- Formato: Formato: fijo
- Desde S/ 102.42 PEN
  El precio incluye IGV

Provability, Computability and Reflection
por Beklemishev, Lev D.
- Formato: Formato: fijo
- S/ 986.66 PEN
  El precio incluye IGV

Enlightening Symbols
A Short History of Mathematical Notation and Its Hidden Powers
por Joseph Mazur
- Formato: Formato: libro electrónico-ajustable
- Desde S/ 79.50 PEN
  El precio incluye IGV

COLT Proceedings 1990
por COLT
- Formato: Formato: fijo
- S/ 121.25 PEN
  El precio incluye IGV

Models of Computation in Context
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
por Benedikt Löwe
- Formato: Formato: fijo
- Desde S/ 62.62 PEN
  El precio incluye IGV

Paradoxes of the Infinite (Routledge Revivals)
por Bernard Bolzano
- Edición: 1st
- Formato: Formato: libro electrónico-ajustable
- Desde S/ 108.53 PEN
  El precio incluye IGV

Freedom and Enforcement in Action
A Study in Formal Action Theory
por Janusz Czelakowski
- Formato: Formato: fijo
- Desde S/ 112.71 PEN
  El precio incluye IGV

The Gödelian Puzzle Book
Puzzles, Paradoxes and Proofs
por Raymond M. Smullyan
- Formato: Formato: libro electrónico-ajustable
- S/ 56.73 PEN
  El precio incluye IGV

Mathematics of Fuzzy Sets
Logic, Topology, and Measure Theory
por Ulrich Höhle; S.E. Rodabaugh
- Formato: Formato: fijo
- Desde S/ 363.17 PEN
  El precio incluye IGV