поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Elemente de logica intuitionista
Editura Academiei
Alexandru Surdu
intuiţioniste
intuiţionistă
sînt
logică
heyting
matematice
brouwer
respectiv
matematicii
decît
logice
logicii
intuiţionist
sistemul
matematică
intuitivă
negaţia
propoziţionale
formule
constante
negaţie
sistemelor
formaliste
consideră
exclus
formalist
construcţia
expresii
griss
construcţie
formal
matematic
negaţiei
evident
formale
sistemele
terţului
obţinute
apare
presupune
sisteme
constituie
intuitive
constantelor
godel
construcţii
conţine
cînd
exemplu
sistemului
Год:
1976
Язык:
romanian
Файл:
DJVU, 1.80 MB
Ваши теги:
0
/
0
romanian, 1976
2
Elemente de logica intuitionista
Editura Academiei
Alexandru Surdu
intuiţioniste
intuiţionistă
sînt
logică
heyting
matematice
respectiv
brouwer
decît
logice
propoziţionale
logicii
intuiţionist
matematicii
sistemul
negaţia
formule
intuitivă
matematică
constante
negaţie
consideră
sistemelor
exclus
expresii
formal
formaliste
griss
formalist
evident
construcţia
negaţiei
apare
sistemele
formale
matematic
sisteme
construcţie
obţinute
constituie
presupune
cînd
terţului
exemplu
intuitive
teze
fals
conţine
teza
constantelor
Год:
1976
Язык:
romanian
Файл:
PDF, 6.05 MB
Ваши теги:
0
/
0
romanian, 1976
3
Logica polivalenta
Editura enciclopedică română
Anton Dumitriu
sînt
propoziţii
propoziţie
logică
adevărată
valori
polivalentă
cînd
implicaţia
logicii
lukasiewicz
principiul
valoarea
propoziţia
exemplu
implică
fals
decît
calculul
negaţia
propoziţiile
adevărul
sistemul
exclus
falsă
polivalente
heyting
implicaţiei
propoziţiilor
primitive
urmare
adevărate
falsul
funcţii
modale
axiome
bivalentă
rezultă
terţiului
reichenbach
moisil
formal
russell
propoziţional
implicaţie
valorile
intuiţionistă
teoreme
teoremele
aşadar
Год:
1971
Язык:
romanian
Файл:
DJVU, 3.49 MB
Ваши теги:
0
/
0
romanian, 1971
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×