Logical Methods in Computer Science | Logical Methods in Computer Science e.V.
| Formatua: | Baliabide elektronikoa Aldizkaria |
|---|---|
| Hizkuntza: | ingelesa |
| Argitaratua: |
Cambridge University Press
|
| Sarrera elektronikoa: | Full text available on Research4Life (HINARI,AGORA,OARE,ARDI & GOALI) |
Antzeko izenburuak
Logical methods.
nork: Restall, Greg, et al.
Argitaratua: (2023)
nork: Restall, Greg, et al.
Argitaratua: (2023)
Journal of Logic and Computation
Logic
nork: Sheehan
nork: Sheehan
ACM Transactions on Computational Logic
Modern Logic~The Review of Modern Logic
The Logic of Being
nork: Livingston
nork: Livingston
Flawed Logics
nork: Lebovic
nork: Lebovic
Bad Logic
nork: Wright
nork: Wright
Algebra & Logic
Logic and Analysis
Algebra and Logic
The logic of education.
nork: Hirst P.H. Author, et al.
nork: Hirst P.H. Author, et al.
Beginners' logic.
nork: Dotterer, Ray Harbaugh
Argitaratua: (1924)
nork: Dotterer, Ray Harbaugh
Argitaratua: (1924)
The logic book.
nork: Bergmann, Merrie, et al.
Argitaratua: (2014)
nork: Bergmann, Merrie, et al.
Argitaratua: (2014)
The logic of education.
nork: Hirst P.H. Author, et al.
nork: Hirst P.H. Author, et al.
Logic : very short introduction /
nork: Priest, Graham
Argitaratua: (2017)
nork: Priest, Graham
Argitaratua: (2017)
Review of Modern Logic~The Review of Modern Logic
Journal of Logic and Analysis | Journal of Logic and Analysis
TheoretiCS | TheoretiCS Foundation e.V.
Documenta Mathematica | Deutsche Mathematiker-Vereinigung e.V.
Journal of Philosophical Logic
The Journal of Symbolic Logic
The Bulletin of Symbolic Logic
Logic Journal of the IGPL
The Journal of Symbolic Logic
Bulletin of Symbolic Logic
Review of Symbolic Logic
The Logic of Compromise in Mexico
nork: McCormick
nork: McCormick
History & Philosophy of Logic
Bulletin of the Section of Logic
Journal of Philosophical Logic
Archive for Mathematical Logic
Journal of Philosophical Logic
Archive for Mathematical Logic
Journal of Computational Methods in Science and Engineering
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Antzeko izenburuak
-
Logical methods.
nork: Restall, Greg, et al.
Argitaratua: (2023) - Journal of Logic and Computation
-
Logic
nork: Sheehan - ACM Transactions on Computational Logic
- Modern Logic~The Review of Modern Logic