- 2 402 202 книги
- Поиск
Metalogic: An introduction to the metatheory of standard first order logic
Автор: Hunter G.
Размер книги: 5.64 Mb
First-Order Logic
Автор: Raymond M. SmullyanКатегория: Математика, Математическая логика
Размер книги: 1.77 Mb
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Автор: Geoffrey Hunter
Размер книги: 21.67 Mb
On the Expressive Power of First-Order Logic with Built-In Predicates
Автор: Nicole Schweikardt
Размер книги: 1.90 Mb
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)
Автор: Melvin Fitting
Размер книги: 1.85 Mb
First Order Mathematical Logic
Автор: Angelo MargarisКатегория: Математика, Прикладная математика
Размер книги: 1.52 Mb
The Logic of Adaptive Behavior: Knowledge Representation and Algorithms for Adaptive Sequential Decision Making under Uncertainty in First-Order and Relational Domains (Frontiers in Artificial Intelligence and Applications)
Автор: M. Van Otterlo
Размер книги: 8.94 Mb
Metamathematics of first-order arithmetic
Автор: Petr Hajek, Автор: Pavel Pudlak
Размер книги: 4.06 Mb
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Автор: Michael Makkai, Автор: Gonzalo E. Reyes
Размер книги: 12.72 Mb
First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
Автор: M. Makkai, Автор: G.E. ReyesКатегория: Lecture notes
Размер книги: 1.82 Mb
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Автор: Jan Heering, Автор: Karl Meinke, Автор: Bernhard Möller, Автор: Tobias Nipkow
Размер книги: 2.66 Mb
Elements of Intuitionism
Автор: Michael DummettКатегория: logic, proof theory, first order logic, intuitionistic, intuitionism, constructive reasoning, constructive demostration
Размер книги: 3.77 Mb