Temat: Logika symboliczna i matematyczna. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji 1.

Tytuł pełny:: Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U. K., July 1984 / ed. J. B. Paris, A. J. Wilkie, G. M. Wilmers
Wydawca:: Amsterdam [etc.] : Elsevier Science Publishers
Rok wydania:: 1986
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 120
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Proceedings of the second Scandinavian Logic Symposium / ed. by J. E. Fenstad
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Rok wydania:: cop. 1971
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 63
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Penser les mathématiques : séminaire de philosophie et mathématiques de l'École normale supérieure / R. Apéry [et al.] ; [sous la direction de] J. Dieudonné [et al.] ; textes préparés et annotés par François Guénard et Gilbert Lelièvre
Wydawca:: Paris : Éditions du Seuil
Rok wydania:: 1982
Seria:: Points. Sciences ; 29
Temat:: Matematyka - filozofia - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Mathématiques et logique : rétrospective et perspectives / Mark Kac, Stanislaw M. Ulam ; trad. par Philippe Gatbois
Wydawca:: Paris : Dunod
Rok wydania:: 1973
Temat:: Logika symboliczna i matematyczna - wydawnictwa popularne.
Matematyka - wydawnictwa popularne.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Reports on Mathematical Logic / The Jagiellonian University of Cracow, The Silesian University of Katowice
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Rok wydania:: 1973-
Temat:: Logika symboliczna i matematyczna - czasopisma.
Logika matematyczna nieklasyczna - czasopisma.
Gatunek / Forma:: Czasopisma naukowe - Polska - 1970-2000.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Essai de logique opératoire / par Jean Piaget
Wydawca:: Paris : Dunod
Wydanie:: 2 ed. / établie par Jean-Blaise Grize ; avec une introd. de l'auteur
Rok wydania:: 1972
Seria:: Collection Sciences du Comportement ; 15
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Essais sur les logiques non chrysippiennes / Gr. C. Moisil
Wydawca:: Bucarest : Éditions de L'Académie de la République Socialiste de Roumanie
Rok wydania:: 1972
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Logique mathématique appliquée / par H. Freudenthal
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Rok wydania:: 1958
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février ; N° 14
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs / par Jean Porte
Wydawca:: Paris [etc.] : Gauthier-Villars Éditeur ; Louvain : E. Nauwelaerts
Rok wydania:: 1965
Seria:: Collection de Logique Mathématique. Serie A ; n° 18
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Comprendre la logique moderne. T. 1, Classes, propositions et prédicats / François Chenique
Wydawca:: Paris : Dunod
Rok wydania:: 1974
Seria:: Série Logique et Informatique ; 9
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Comprendre la logique moderne. T. 2, Logiques non classiques, relations et structures / François Chenique
Wydawca:: Paris : Dunod
Rok wydania:: 1974
Seria:: Série Logique et Informatique ; 10
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Cours de logique mathématique. T. 3, Récursivité et constructibilité / Roland Fraïssé
Wydawca:: Paris [etc.] : Gauthier-Villars Éditeur
Rok wydania:: cop. 1975
Seria:: Collection de Logique Mathématique. Serie A ; n° 25
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Précis de logique mathématique / par I. M. Bocheński O.P
Wydawca:: Bussum F. G. Kroonder
Rok wydania:: dr. 1948
Seria:: Collection Synthese ; 2
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Logique Moderne. Fascicule 2, Logique des propositions et des prédicats, tables de vérité et axiomatisation / Jean-Blaise Grize
Wydawca:: Paris : Mouton : Gauthier-Villars
Rok wydania:: 1971
Seria:: Mathématiques et Sciences de l’Homme ; 14
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Cours de logique mathématique. T. 2, Théorie des modèles / Roland Fraïssé
Wydawca:: Paris : Gauthier-Villars
Wydanie:: 2e éd. revue et modifiée
Rok wydania:: 1972
Seria:: Collection de Logique Mathématique. Série A, Monographies Réunies par Mme P. Février ; N° 24
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Cours de logique mathématique. T. 1, Relation, formule logique, compacité, complétude / par Roland Fraïssé
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Rok wydania:: 1967
Seria:: Collection de Logique Mathématique. Serie A ; 23
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Introduction a la logique / par Alfred Tarski ; traduit de l'anglais par Jacques Tremblay S. J
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Wydanie:: 2e éd. rev. et augm
Rok wydania:: 1969
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février ; 16
Temat:: Matematyka - filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Introduction à la logique / par Alfred Tarski ; traduit de l'anglais par J. Tremblay
Wydawca:: Paris : Gauthier-Villars
Wydanie:: 3e édition revue
Rok wydania:: 1971
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février ; n°. 16
Temat:: Matematyka - filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: La structure algébrique des théories mathématiques / par L. Henkin
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Rok wydania:: 1956
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février, 0530-7554 ; Nº 11
Temat:: Algebra abstrakcyjna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Logique a trois valeurs logique a seuil / par Michel Carvallo ; pref. J. A. Ville
Wydawca:: Paris : Gauthier-Villars & Cie
Rok wydania:: 1968
Seria:: Collection de Mathématiques Économiques ; fasc. 5
Temat:: Algebra abstrakcyjna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Matérialisme dialectique et logique / Pierre Raymond
Wydawca:: Paris : François Maspero
Rok wydania:: 1977
Seria:: Algorithme
Temat:: Materializm dialektyczny.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Éléments de mathématiques modernes / par M. Richardson
Wydawca:: Paris : Dunod
Wydanie:: 2 éd. rev. et augm
Rok wydania:: 1968
Seria:: Collection Sigma ; 4
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Théorie des ensembles. Chap. 1-2 / N. Bourbaki
Wydawca:: Paris : Hermann
Rok wydania:: 1954
Seria:: Les structures fondamentales de l'analyse / N. Bourbaki ; liv. 1
Éléments de mathématique / par N. Bourbaki ; fasc. 17 pt. 1
Actualités Scientifiques et Industrielles ; 1212
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Théorie des ensembles. Chap. 1-2 / N. Bourbaki
Wydawca:: Paris : Hermann
Wydanie:: 2ème éd
Rok wydania:: 1960
Seria:: [Les structures fondamentales de l'analyse] / N. Bourbaki ; liv. 1
Éléments de mathématique / par N. Bourbaki ; fasc. 17 pt. 1
Actualités Scientifiques et Industrielles ; 1212
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Le mot et la chose / Willard Van Orman Quine ; trad. de l'américain par Joseph Dopp et Paul Gauchet ; avant-propos de Paul Gauchet
Wydawca:: Paris : Flammarion
Rok wydania:: dr. 1978
Seria:: Nouvelle Bibliothèque Scientifique
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Logique, automatique, informatique / [sous la direction de Gr. C. Moisil]
Wydawca:: Bucarest : Éditions de L'Académie de la République Socialiste de Roumanie
Rok wydania:: 1971
Temat:: Logika symboliczna i matematyczna.
Algebra abstrakcyjna.
Teoria maszyn sekwencyjnych.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Les logiques humaines et artificielles / Arnold Kaufmann
Wydawca:: Paris : Hermes
Rok wydania:: 1988
Seria:: Technologies de Point
Temat:: Logika symboliczna i matematyczna.
Logika wielowartościowa.
Gatunek / Forma:: Książki
Publikacje fachowe
Opracowanie

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Les mathématiques a la portée de l'ordinateur / par André Arnold ; pref. de J. Kuntzmann
Wydawca:: Paris : Dunod
Rok wydania:: 1970
Seria:: Initiation aux Nouveautés de la Science ; 22
Temat:: Automatyczne dowodzenie twierdzeń.
Logika symboliczna i matematyczna.
Języki programowania - matematyka.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

Tytuł pełny:: Méthodes logiques pour les sciences cognitives / coordonnateurs Jacques Dubucs et François Lepage
Wydawca:: Paris : Hermés
Rok wydania:: 1995
Seria:: Langue, Raisonnement, Calcul, 0988-0569
Temat:: Logika symboliczna i matematyczna.
Nauki kognitywne.
Gatunek / Forma:: Książki
Publikacje naukowe
Monografia

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Logika symboliczna i matematyczna." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu