Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Biblioteka  Akademii Nauk Stosowanych w Gnieźnie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteka  Akademii Nauk Stosowanych w Gnieźnie

Wyszukujesz frazę "Lopez" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Elementary interpretations of negationless arithmetic
    Autorzy:
    López-Escobar, E.
    Data publikacji:
    1974
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Integrating intuitionistic and classical theories
    Autorzy:
    López-Escobar, E.
    Data publikacji:
    1981
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Formalizing a non-linear Henkin quantifier
    Autorzy:
    López-Escobar, E.
    Data publikacji:
    1991
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    On an extremely restricted ω-rule
    Autorzy:
    López-Escobar, E.
    Data publikacji:
    1976
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    An addition to "On defining well-orderings"
    Autorzy:
    Lopez-Escobar, E.
    Data publikacji:
    1966
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    An interpolation theorem for denumerably long formulas
    Autorzy:
    Lopez-Escobar, E.
    Data publikacji:
    1965
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    A complete, infinitary axiomatization of weak second-order logic
    Autorzy:
    Lopez-Escobar, E.
    Data publikacji:
    1967
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-9 z 9

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies