Wszystkie pola: arithmetic models

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

Wyszukujesz frazę "arithmetic models" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 20

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Note on arithmetic models for consistent formulae of the predicate calculus
Autorzy:: Kreisel, G.
Data publikacji:: 1950
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Intuitionistic Models of Arithmetic
Autorzy:: Połacik, T.
Data publikacji:: 1999
Słowa kluczowe:: modele arytmetyki
model Kripkego
logika modalna
arithmetic models
Kripke models
modal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: On elementary cuts in models of arithmetic
Autorzy:: Kotlarski, Henryk
Data publikacji:: 1983
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On expandability of models of arithmetic and set theory to models of weak second-order theories
Autorzy:: Kaufmann, Matt
Data publikacji:: 1984
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Automorphisms of models of bounded arithmetic
Autorzy:: Enayat, Ali (1959- )
Data publikacji:: 2006
Tematy:: Teoria grup; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Models of arithmetic and the 1-3-1 lattice
Autorzy:: Paris, J.
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: On models of arithmetic having non-modular substructure lattices
Autorzy:: Wilkie, A.
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Regular cuts in models of bounded arithmetic
Autorzy:: Moniri, Morteza
Współwytwórcy:: Sajjadi, Hosein S.
Data publikacji:: 2013
Tematy:: Arytmetyka
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: The structure of models of Peano arithmetic
Autorzy:: Kach, Asher M.
Data publikacji:: 2012
Tematy:: Schmerl, James H. (1940- ). Structure of models of Peano arithmetic
Kossak, Roman (1953- ). Structure of models of Peano arithmetic; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: On extending automorphisms of models of Peano Arithmetic
Autorzy:: Kossak, Roman
Kotlarski, Henryk
Data publikacji:: 1996
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 20

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

Informacja

Wyszukujesz frazę "arithmetic models" wg kryterium: Wszystkie pola