Название: Основания математической логики
Автор: Карри Х.
Издательство: Мир
Страниц: 568
Формат: DJVU
Размер: 6.33 Мб
Качество: Приемлемое
Язык: Русский
Год издания: 1969
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе.
Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12777 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Название: American Patchwork & QuiltingГод / месяц: June 1999Номер: 38Формат: jpegРазмер: 44.2 mb Язык: АнглийскийПопулярный американский журнал по квилтингу и пэчворку letitbit.net turbobit.net dep . . .
Автор: Nathalie Mornu Название: Knit & Wrap Издательство: Lark Crafts Год: 2010/September ISBN-13: 9781600596179 Язык: английский Страниц: 120 Формат: jpg Размер: 125.9MB Книга по вязанию. Капюшоны, и . . .
Название: Чудесный крючок. Красиво и легко! № 47 2011Серия или выпуск: Чудесный крючок. Красиво и легко!Издательство: Ашет КоллекцияГод издания: 2011Формат: PDFРазмер: 14 МбСтраниц: 24Язык: РусскийКол . . .
Автор: Debbie BlissНазвание: Simply softИздательство: Debbie BlissГод: 2005Формат: jpgРазмер: 17,47 mbСтраниц: 40Язык: английскийThis is Simply Soft by Debbie Bliss which features her Cashmerino Astra . . .
Журнал: Sabrina SpecialГод / месяц: 2011Номер: S 1811Формат: jpgРазмер: 20,3 MbКачество: отличноеСтраниц: 45Язык: немецкийКоллекция стильной вязаной одежды из знаменитой немецкой пряжи Austermann.Depo . . .
Название: American Patchwork & QuiltingГод / месяц: December 1994Номер: 11Формат: jpegРазмер: 8.16 mb Язык: АнглийскийПопулярный американский журнал по квилтингу и пэчворку turbobit.net letitbit.net . . .
Название: Berroco Sock Star Год: 2010 Номер: 297 Формат: jpg Размер: 38.32Mb Страниц: 16 Язык: английский This booklet features the winning designs from the Berroco Sock Star Competetion: accessories . . .
Название: Colecao Trabalhos em FELTRO 14 Издательство: Minuano Год: неизвестен Страниц: 43 Формат: jpg Размер: 38.45Мб Язык: испанский Журнал по рукоделию. Обучение технике аппликации и различных поде . . .
Название: American Patchwork & QuiltingГод / месяц: October 1998Номер: 34Формат: jpegРазмер: 18.4 mb Язык: АнглийскийПопулярный американский журнал по квилтингу и пэчворку turbobit.net letitbit.net . . .
Автор Valerie Harris Название The Lavendon collection of bobbin lace patterns Издательство Dryad Press Год 1884 ISBN-13: 9780852196496 Язык English Страницы 38Формат jpgРазмер 10.84mbВязание на коклю . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Основания математической логики. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.