Browsing Mācību-metodiskie materiāli (DF) / Teaching Stuff by Subject
Now showing items 4-23 of 42
Subject |
---|
completeness theorems [1] |
constructive logic [1] |
first order arithmetic [1] |
first order logic [1] |
foundations of mathematics [2] |
Goedel [1] |
Gödel [1] |
graphs on surfaces [1] |
Herbrand theorem [1] |
Herbrand's theorem [1] |
Hilbert's Tenth problem [1] |
incompleteness theorem [1] |
incompleteness theorems [1] |
information and communication technology [1] |
intuitionistic logic [1] |
laws [1] |
logic [1] |
mathematical logic [5] |
mācību grāmata [1] |
model theory [2] |