Temat: Kwantyfikatory. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji 1.

Tytuł pełny:: Étude de certains aspects logiques et grammaticaux de la quantification et de l'anaphore en français et en anglais / Gilles Fauconnier
Wydawca:: Lille : Atelier Reproduction des Thèses
Rok wydania:: 1980
Temat:: Kwantyfikatory (językoznawstwo) - rozprawy akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: English quantifier systems / Richard M. Hogg
Wydawca:: Amsterdam [ etc.] : North-Holland Publishing Company
Rok wydania:: 1977
Seria:: North-Holland Linguistic Series ; 34
Temat:: Kwantyfikatory.
Język angielski - semantyka.
Język angielski - gramatyka generatywna.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Collins COBUILD English guides. 10, Determiners & quantifiers / Roger Berry ; The University of Birmingham
Wydawca:: London : HarperCollins Publishers
Rok wydania:: 1997
Seria:: The Cobuild Series from the Bank of English
Temat:: Język angielski - kwantyfikatory - podręczniki dla obcojęzycznych.
Język angielski - kwantyfikatory - zadania i ćwiczenia.
Język angielski - określniki - podręczniki dla obcojęzycznych.
Język angielski - określniki - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Mass terms : some philosophical problems / ed. by Francis Jeffry Pelletier
Wydawca:: Dordrecht ; Boston ; London : D. Reidel Publishing Company
Rok wydania:: 1979
Seria:: Synthese Language Library ; vol. 6
Temat:: Rzeczowniki policzalne (językoznawstwo).
Filozofia języka.
Kwantyfikatory (językoznawstwo).
Językoznawstwo - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Kwantyfikatory rzędu drugiego w logice intuicjonistycznej / Tomasz Połacik
Wydawca:: Katowice
Rok wydania:: 1995
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Kwantyfikatory.
Logika intuicjonistyczna.
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Eseje logicznio [!]-filozoficzne / Jaakko Hintikka ; przeł. i skorowidzami opatrzył Adam Grobler ; nauk. oprac. i wstępem opatrzył Jan Woleński
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2
Rok wydania:: 2014
Seria:: Biblioteka Współczesnych Filozofów
Temat:: Quine, W. V. (1908-2000) - krytyka i interpretacja.
Logika.
Filozofia analityczna.
Kwantyfikatory.
Gry językowe.
Logika deontyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Negative sentences in the languages of Europe : a typological approach / by Giuliano Bernini, Paolo Ramat
Wydawca:: Berlin ; New York : Mouton de Gruyter
Rok wydania:: 1996
Seria:: Empirical Approaches to Language Typology ; 16
Temat:: Negacje (językoznawstwo).
Kwantyfikatory (językoznawstwo).
Zdania.
Typologia (językoznawstwo).
Europa - języki.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: A theory of aspectuality : the interaction between temporal and atemporal structure / Henk J. Verkuyl
Wydawca:: Cambridge : Cambridge University Press
Rok wydania:: 1993
Seria:: Cambridge Studies in Linguistics ; 64
Temat:: Gramatyka generatywna.
Semantyka.
Język i logika.
Aspekt (językoznawstwo).
Konstrukcje czasowe (językoznawstwo).
Kwantyfikatory (językoznawstwo).

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Analiza składniowa leksykalnych wykładników parametryzacji świata / Beata Chachulska
Wydawca:: Kraków : Wydawnictwo Naukowe PWN
Rok wydania:: 2002
Temat:: Miary i wagi.
Język polski - liczebniki.
Język polski - kwantyfikatory.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Formal semantics and pragmatics for natural languages / ed. by F. Guenthner and S. J. Schmidt
Wydawca:: Dordrecht [etc.] : D. Reidel Publishing Company
Rok wydania:: cop. 1979
Seria:: Synthese Language Library : tekst and studies in linguistics and philosophy ; vol. 4
Temat:: Filozofia języka - konferencje.
Gramatyka porównawcza i ogólna - konferencje.
Logika temporalna - konferencje.
Pragmatyka (językoznawstwo) - konferencje.
Rachunek kwantyfikatorów - konferencje.
Semantyka - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture / J. Y. Girard. ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1976
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne ; 136
Temat:: Logika wielowartościowa.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Definable quantifiers in second order arithmetic and elementary extensions of [omega]-models / Wojciech Guzicki ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1983
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 208
Temat:: Rachunek kwantyfikatorów.
Teoria modeli.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Systemy Herbranda dowodzenia twierdzeń rachunku predykatów / Ewa Orłowska ; Polska Akademia Nauk. Centrum Obliczeniowe
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1976
Temat:: Predykat (logika).
Twierdzenie Herbranda.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: La logica naturale e la concessione / Agnieszka Latos
Temat:: Rozumowanie.
Rachunek kwantyfikatorów.
Przyczynowość.
Gatunek / Forma:: Artykuły

Praca. Artykuł

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: On sentences provable in impredicative extensions of theories / Zygmunt Ratajczyk ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1979
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 178
Temat:: Aksjomatyczna teoria zbiorów.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Klasyczny rachunek kwantyfikatorów : zarys teorii / Witold A. Pogorzelski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1981
Temat:: Logika symboliczna i matematyczna.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Aussagenlogik, Mengen, Relationen / Hans-Dieter Gerster
Wydawca:: Freiburg [etc.] : Herder
Wydanie:: 4. Aufl
Rok wydania:: cop. 1976
Seria:: Studienbücher Mathematik
Temat:: Rachunek kwantyfikatorów.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen
Wydawca:: Dordrecht [etc.] : D. Reidel Publishing Company
Rok wydania:: cop. 1979
Seria:: Synthese Library ; vol. 127
Temat:: Modalność (logika).
Teoria modeli.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Rachunki sekwentowe w logice klasycznej / Andrzej Indrzejczak
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Rok wydania:: 2013
Temat:: Teoria dowodu.
Rachunek zdań.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Quantoren - Modalitäten - Paradoxien : Beiträge zur Logik / hrsg. von Horst Wessel ; [übers. von Horst Wessel, et al.]
Wydawca:: Berlin : VEB Deutscher Verlag der Wissenschaften
Rok wydania:: 1972
Temat:: Rachunek kwantyfikatorów.
Modalność (logika).
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Relational quantifiers / Michał Krynicki ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Instytut Matematyczny PAN
Rok wydania:: 1995
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 347
Temat:: Rachunek kwantyfikatorów.
Logika symboliczna i matematyczna.
Teoria krat.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Sekwencyjna postać logik skończenie wielowartościowych : automatyzacja dowodzenia twierdzeń / Piotr Borowik
Wydawca:: Częstochowa : Wydawnictwo Wyższej Szkoły Pedagogicznej
Rok wydania:: 2001
Temat:: Automatyczne dowodzenie twierdzeń.
Rachunek kwantyfikatorów.
Logika wielowartościowa.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Sur la somme de sous-différentiels de fonctions semi-continues inférieurement / Florence Jules ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : IM PAN
Rok wydania:: 2003
Seria:: Dissertationes Mathematicae, 0012-3862 ; 423
Temat:: Rachunek wariacyjny.
Optymalizacja nieróżniczkowalna.
Przestrzenie abstrakcyjne.
Funkcje wypukłe.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Tableau systems for first order number theory and certain higher order theories / Sue Toledo
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1975
Seria:: Lecture Notes in Mathematics, 0075-8434 ; 447
Temat:: Logika symboliczna i matematyczna.
Teoria dowodu.
Rachunek kwantyfikatorów.
Teoria liczb.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Istnienie i logika : studia z filozofii / Leon Gumański
Wydawca:: Toruń : Wydawnictwo Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2006
Temat:: Istnienie (filozofia).
Aksjomatyka.
Rachunek kwantyfikatorów.
Logika deontyczna.
Epistemologia.
Logika.
Filozofia.
Sąd.

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Kwantyfikatory." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu