Lectures on Mathematical Logic, Volume II - Lecturers on Mathematical Logic - Walter Felscher - Libros - Taylor & Francis Ltd - 9780367398583 - 5 de septiembre de 2019
En caso de que portada y título no coincidan, el título será el correcto

Walter Felscher
Lectures on Mathematical Logic, Volume II - Lecturers on Mathematical Logic 1.º edición

Precio
$ 101,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 7 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.

330 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de septiembre de 2019
ISBN13 9780367398583
Editores Taylor & Francis Ltd
Páginas 336
Dimensiones 150 × 220 × 10 mm   ·   620 g
Lengua Inglés  

Mas por Walter Felscher

Mostrar todo

Mere med samme udgiver

Ver todo de Walter Felscher ( Ej. Paperback Book y Hardcover Book )