مشخصات کتاب

Logic

ویرایش:  
نویسندگان: T. E. Forster,  ed. Dexter Chua  
سری: Cambridge Mathematical Tripos Part III Lecture Notes 
 
ناشر: University of Cambridge 
سال نشر: 2017 
تعداد صفحات: [62] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 508 Kb 

در صورت تبدیل فایل کتاب Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Proof theory and constructive logic
	Natural deduction
	Curry–Howard correspondence
	Possible world semantics
	Negative interpretation
	Constructive mathematics
Model theory
	Universal theories
	Products
	Ehrenfeucht–Mostowski theorem
	The omitting type theorem
Computability theory
	Computability
	Decidable and semi-decidable sets
	Computability elsewhere
	Logic
	Computability by lambda-calculus
	Reducibility
Well-quasi-orderings
Index

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The Investigation of Plastic Behavior by Discrete Dislocation Dynamics for Single Crystal Pillar at Submicron Scale

دانلود کتاب Valued Graphs and the Representation Theory of Lie Algebras

دانلود کتاب Цивільна оборона: навч. посіб

دانلود کتاب Psychology: core concepts

دانلود کتاب Le persone sensibili sanno dire no