ISBN: 9787030754745 - 结构证明论（第二版）科学出版社 (1 resultados)

Structural Proof Theory (Second Edition)(Chinese Edition)
MA MING HUI
Idioma: Inglés
Editorial: Science Press, 2023
7030754743 / 9787030754745
- Tapa blanda
Librería: liu xing, Nanjing, JS, Chinaliu xing
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 91,94
Envío por EUR 16,08
Se envía de China a Estados Unidos de America
Cantidad disponible: 3 disponibles
paperback. Condición: New. Paperback.Pub Date:2023-06 Pages:248 Language:Chinese Publisher:Science Press Proof theory is a branch of the basic theory of logic. Structural proof theory is a branch of proof theory. which studies analytical proofs in calculus. Structural Proof Theory (Second Edition) introduces classical sentential logic and intuitionistic logic. and gives different types of logical calculus such as axiom system. natural deduction and vector calculus. According to the definition of structure and structura. …