REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Przeglądaj przez Autor Braselmann, Patrick

    Skocz do: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
    lub wpisz kilka początkowych liter:  
    Pokazuję rezultaty 1 do 7 z 7
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2005A Sequent Calculus for First-Order LogicBraselmann, Patrick; Koepke, Peter--
    2005Coincidence Lemma and Substitution LemmaBraselmann, Patrick; Koepke, Peter--
    2005Consequences of the Sequent CalculusBraselmann, Patrick; Koepke, Peter--
    2005Equivalences of Inconsistency and Henkin ModelsBraselmann, Patrick; Koepke, Peter--
    2005Gödel’s Completeness TheoremBraselmann, Patrick; Koepke, Peter--
    2005Substitution in First-Order Formulas. Part II. The Construction of First-Order FormulasBraselmann, Patrick; Koepke, Peter--
    2005Substitution in First-Order Formulas: Elementary PropertiesBraselmann, Patrick; Koepke, Peter--
    Pokazuję rezultaty 1 do 7 z 7