Global Dynamics of Finite Cellular Automata
ICANN '08 Proceedings of the 18th international conference on Artificial Neural Networks, Part I
What robots can do: robot programs and effective achievability
Artificial Intelligence
Discrete Semantics for Hybrid Automata
Discrete Event Dynamic Systems
Looking for a good fuzzy system interpretability index: An experimental approach
International Journal of Approximate Reasoning
Learning Deep Architectures for AI
Foundations and Trends® in Machine Learning
On the information content of knowledge
ASC '07 Proceedings of The Eleventh IASTED International Conference on Artificial Intelligence and Soft Computing
Anaphora resolution as equality by default
DAARC'07 Proceedings of the 6th discourse anaphora and anaphor resolution conference on Anaphora: analysis, algorithms and applications
A finite first-order presentation of set theory
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
A possibilistic intuitionistic logic
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Automata for infinite argumentation structures
Artificial Intelligence
Hi-index | 0.00 |
Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gdel, Church, Kleene, Rosser, and Turing.New to the Fifth Edition A new section covering basic ideas and results about nonstandard models of number theoryA second appendix that introduces modal propositional logicAn expanded bibliography Additional exercises and selected answers This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking, it offers enough material for either a one- or two-semester course on mathematical logic.