|
|
Результат поиска |
Поиск книг, содержащих: Consequence, logical
Книга | Страницы для поиска | Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 2, 4—5, 41, 42, 44, 46, 93, 110, 181, 267 | Brown J.R. — Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures | 54, 72; | Kraetzschmar G.K. — Distributed Reason Maintenance for Multiagent Systems | 46 | Hinman P.G. — Fundamentals of Mathematical Logic | 7, 96 | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 111, 116 | Elliott Mendelson — Introduction to mathematical logic | 16, 56 |
|
|