Imagen de Amazon.com
Sequents and trees : an introduction to the theory and applications of propositional sequent calculi / Andrzej Indrzejczak
Tipo de material:
TextoSeries Studies in universal logicEditor: Cham, Switzerland : Springer, [2021]Descripción: xvi, 345 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 9783030571443; 9783030571474Tema(s): Teoría de la demostración | Lógica simbólica y matemáticaClasificación LoC:QA9.54 | I53
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | Coleccion General | QA9.54 I53 (Navegar estantería(Abre debajo)) | 1 | Prestado | 06/10/2025 | 125888 |
Total de reservas: 0
Birkhäuser--Portada
No hay comentarios en este titulo.