Completeness theory for propositional logics
186p.
Saved in:
Main Author: | Pogorzelski, Witold ; Wojtylak, Piotr |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/27567 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
A Course in Formal Languages, Automata and Groups
by: Chiswell, Ian
Published: (2017) -
A course on mathematical logic
by: Srivastava, S. M.
Published: (2017) -
Analysis and synthesis of logics : how to cut and paste reasoning systems
by: Coniglio, Marcelo, et al.
Published: (2017) -
Towards mathematical philosophy : papers from the Studia logica conference "Trends in Logic IV"
Published: (2017) -
Institution-independent Model Theory
by: Diaconescu, Răzvan
Published: (2017)