|
|
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
This introduction to first-order logic clearly works out the role
of first-order logic in the foundations of mathematics,
particularly the two basic questions of the range of the axiomatic
method and of theorem-proving by machines. It covers several
advanced topics not commonly treated in introductory texts, such as
Fraisse's characterization of elementary equivalence, Lindstroem's
theorem on the maximality of first-order logic, and the
fundamentals of logic programming.
 |
2021 Activity Book for Adults
- 365 Medium Variety Puzzles for Every Day of the Year: 12 Puzzle Types (Sudoku, Futoshiki, Battleships, Calcudoku, Binary Puzzle, Slitherlink, Killer Sudoku, Masyu, Jigsaw Sudoku, Minesweeper, Suguru, and Numbrix)
(Paperback)
Khalid Alzamili
|
R284
Discovery Miles 2 840
|
Ships in 18 - 22 working days
|
|
|
|
|