Введение в математическую логику

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматиче...

Full description

Bibliographic Details
Main Author: Зюзьков В. М.
Format: Book
Language:Russian
Published: Санкт-Петербург Лань 2022
Edition:2-е изд., испр.
Online Access:https://e.lanbook.com/book/213008
https://e.lanbook.com/img/cover/book/213008.jpg