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

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

Thumbnail
View/Open
1dec92fcfc7d9f4fdab64ccfd72fd8f5.djvu (5.004Mb)
Date
1973
Author
Клини С.К.(Kleene S.C.)
Metadata
Show full item record
Abstract
Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики. Новая его книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый, материал. Книга может быть использована,как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.
URI
http://ir.nmu.org.ua/handle/GenofondUA/33873
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV