Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
25.9% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Hyperproof
CSLI Publications
Jon Barwise
,
John Etchemendy
sentence
step
goal
solution
hyperproof
cases
subproof
chaps
prove
check
consequence
goals
determine
figure
apply
exhaustive
reasoning
axioms
operators
elim
proofs
shape
likes
prereq
cube
difficulty
taut
operatorsused
prereqidifficulty
icon
assume
choose
satisfy
focus
observe
command
false
cite
specified
asks
cta
dodec
appear
predicates
unknown
tetrahedron
elimination
assumption
cited
subproofs
Рік:
1994
Мова:
english
Файл:
PDF, 11.94 MB
Ваші теги:
0
/
0
english, 1994
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×