دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Ladislav Rieger (Auth.)
سری:
ISBN (شابک) : 9781483231235
ناشر: Elsevier Inc
سال نشر: 1967
تعداد صفحات: 207
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
در صورت تبدیل فایل کتاب Algebraic Methods of Mathematical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های جبری منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Content:
Inside Front Cover, Page 2
Front Matter, Page 3
Copyright, Page 4
Preface, Pages 5-6
Chapter 1 - INTRODUCTION, Pages 9-24
Chapter 2 - THE LANGUAGE OF MATHEMATICS AND ITS SYMBOLIZATION, Pages 25-37
Chapter 3 - RECURSIVE CONSTRUCTION OF THE RELATION OF CONSEQUENCE, Pages 38-69
Chapter 4 - EXPRESSIVE POSSIBILITIES OF THE PRESENT SYMBOLIZATION, Pages 70-82
Chapter 5 - INTUITIVE AND MATHEMATICAL NOTIONS OF AN IDEALIZED AXIOMATIC MATHEMATICAL THEORY, Pages 83-100
Chapter 6 - THE ALGEBRAIC THEORY OF ELEMENTARY PREDICATE LOGIC, Pages 101-122
Chapter 7 - FOUNDATIONS OF THE ALGEBRAIC THEORY OF LOGICAL SYNTAX, Pages 123-180
Chapter 8 - ALGEBRAIC LAWS OF SEMANTICS OF FIRST-ORDER PREDICATE LOGIC, Pages 181-199
Bibliography, Pages 200-206
Index, Pages 207-210