Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин.
Material type:
TextLanguage: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1987Edition: 2-е изд., испр. и допDescription: 336 сSubject(s): Математическая логикаAbstract: [ В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов ].
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/574554 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0100103 | |
|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/584597 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0083471 |
[ В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов ].
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.