Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
29.4% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
Практикум по математической логике.
МГУ
Крупский В.Н.
,
Кузнецов С.Л.
forall
intros
apply
qed
theorem
тип
типа
elim
exists
rewrite
помощью
команда
lemma
типов
arith
assumption
coq
match
определение
доказательства
n:nat
v62
определения
тактика
inductive
unfold
rstar
позволяет
zarith
задачи
использовать
тактики
contains
import
require
качестве
т.е
теории
терм
типе
hint
last_index
sigt
равенства
vector
x:a
терма
simpl
доказательство
assert
Year:
2013
Language:
russian
File:
PDF, 550 KB
Your tags:
0
/
0
russian, 2013
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×