• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Deutsch 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Einloggen
Dokumentanzeige 
  •   DSpace Startseite
  • Genofond
  • Libgen
  • Dokumentanzeige
  •   DSpace Startseite
  • Genofond
  • Libgen
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.

Математическая логика

Thumbnail
Öffnen
03d2b8e57da6ca6c56d7eaa1a00afb33.djvu (5.215Mb)
Datum
1987
Autor
Ершов Ю.Л., Палютин Е.А.
Metadata
Zur Langanzeige
Zusammenfassung
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
URI
http://ir.nmu.org.ua/handle/GenofondUA/28865
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Kontakt | Feedback abschicken
Theme by 
Atmire NV
 

 

Stöbern

Gesamter BestandBereiche & SammlungenErscheinungsdatumAutorenTitelnSchlagwortenDiese SammlungErscheinungsdatumAutorenTitelnSchlagworten

Mein Benutzerkonto

EinloggenRegistrieren

DSpace software copyright © 2002-2016  DuraSpace
Kontakt | Feedback abschicken
Theme by 
Atmire NV