Mathematical Logic: 291 baixar

Isbn 10: 3030738418

Isbn 13: 9783030738419

Mathematical Logic: 291 epub

por

Escolha um formato:

Leia uma amostra

Escolha um formato:

zip baixar
rar baixar
pdf baixar
ibook baixar
epub baixar
kindle baixar

Descrição do livro

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 Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Número de páginas :304
Isbn 10 :3030738418
Isbn 13 :9783030738419
Encadernação :Capa Comum
Edição Mathematical Logic: 291:3rd Third 2021 ed.
© 2026 book-files.republic-it.online Termos e condições
Porto do livro Português, ou afiliadas. Todos os direitos reservados.