წიგნების ძებნა
წიგნები
დახმარება
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
The Open Logic Text_ Complete Build (Revis
Open Logic Project
ϕ
function
theorem
14154c9
proposition
formula
functions
suppose
formulas
sets
defined
prove
define
sentence
recursive
consistent
lemma
assumption
induction
primitive
computable
finite
element
inference
consider
turing
branch
λx
symbols
tableau
enumerable
valid
sequent
infinite
assumptions
axiom
inconsistent
γ0
elim
models
satisfiable
gödel
partial
axioms
contains
input
otherwise
variables
ϕn
modal
ენა:
english
ფაილი:
PDF, 3.73 MB
თქვენი თეგები:
0
/
0
english
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×