>
Fa
  |  
Ar
  |  
En
  
فرهنگ و اندیشه ریاضی
  
سال:1384 - دوره:24 - شماره:2
  
 
آنالیز غیر استاندارد
- صفحه:93-98
  
 
اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر
- صفحه:99-118
  
 
حساب مرتبه اول پئانو و زیر نظریه های آن همراه با چند مساله مرتبط در نظریه پیچیدگی
- صفحه:33-54
  
 
زندگینامه گودل
- صفحه:119-
  
 
سیمای منطق فازی
- صفحه:73-92
  
 
مروری بر نظریه اثبات
- صفحه:55-72
  
 
منطق های غیر کلاسیک از دیدگاه جبری
- صفحه:13-32
  
 
نظریه ذهن آفریننده براور
- صفحه:3-12
Copyright 2023
Islamic World Science Citation Center
All Rights Reserved