W BIAŁYMSTOKU
Formalized Mathematics, 2005, Volume 13, Issue 1
: [7]
Strona glówna kolekcji
Zobacz statystyki
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2005 | Equivalences of Inconsistency and Henkin Models | Braselmann, Patrick; Koepke, Peter | - | - |
| 2005 | Consequences of the Sequent Calculus | Braselmann, Patrick; Koepke, Peter | - | - |
| 2005 | A Sequent Calculus for First-Order Logic | Braselmann, Patrick; Koepke, Peter | - | - |
| 2005 | Substitution in First-Order Formulas. Part II. The Construction of First-Order Formulas | Braselmann, Patrick; Koepke, Peter | - | - |
| 2005 | Coincidence Lemma and Substitution Lemma | Braselmann, Patrick; Koepke, Peter | - | - |
| 2005 | Substitution in First-Order Formulas: Elementary Properties | Braselmann, Patrick; Koepke, Peter | - | - |
| 2005 | Partial Sum of Some Series | Liang, Ming; Ding, Yuzhong | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7