¡Agotado, pero muy deseado!
¿Lo tienes en tu biblioteca?Gana entre 0,07 € y 0,87 € vendiendo este libro.
Vende librosDover Books on Mathematics: Foundations of Mathematical Logic
Autores
Valoración del libro
Más información sobre el libro
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
Compra de libros
Dover Books on Mathematics: Foundations of Mathematical Logic, Haskell Brooks Curry
- Idioma
- Publicado en
- 1977
- Encuadernación
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
3,6
Muy bueno
16 Valoraciones
Nos falta tu reseña aquí
- Título
- Dover Books on Mathematics: Foundations of Mathematical Logic
- Idioma
- Inglés
- Autores
- Haskell Brooks Curry
- Editorial
- Dover Publications Inc.
- Publicado en
- 1977
- Formato
- Tapa blanda
- Páginas
- 416
- ISBN10
- 0486634620
- ISBN13
- 9780486634623
- Serie
- Etiquetas
- Ciencia, Lógica, Integración, Problemas
- Calificación
- 3,6 de 5
- Descripción
- Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.