Marek, Wiktor.
Marek, Victor W., 1943-....
Marek, V. Wiktor
Marek, V. W. (V. Wiktor), 1943-
Marek, Wiktor (V.Wiktor), 1943-
Marek, V.W.
Victor Marek matemàtic polonés
Marek, Wiktor, 1943-
VIAF ID: 110191969 ( Personal )
Permalink: http://viaf.org/viaf/110191969
Preferred Forms
-
-
-
-
-
- 100 1 _ ‡a Marek, Victor W. ‡d 1943-
- 100 1 _ ‡a Marek, Victor W. ‡d 1943-
- 100 1 _ ‡a Marek, Victor W., ‡d 1943-....
-
- 100 1 _ ‡a Marek, Wiktor
-
- 100 1 _ ‡a Marek, Wiktor
-
-
-
-
-
- 100 0 _ ‡a Victor Marek ‡c matemàtic polonés
4xx's: Alternate Name Forms (23)
Works
Title | Sources |
---|---|
Analiza kombinatoryczna, 1986: | |
Andrzej Mostowski and foundational studies | |
Elements of logic and foundations of mathematics in problems | |
Elementy logiki i teorii mnogości w zadaniach | |
Extendability of ZF models in the von Neuman hierarchy to models of KM theory of classes | |
Handbook of recursive mathematics. | |
Information systems, on queries involving cardinalities | |
Introduction to mathematics of satisfiability | |
Laryngeal diseases : symptoms, diagnosis and treatment | |
Logic programming and nonmonotonic reasoning : third international conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995 : proceedings | |
Logic programming and nonmonotonic reasoning / V. W. Marek, A. Nerode, M. Truszczyński (eds.). - Berlin, 1995. | |
The logic programming paradigm : a 25-year perspective | |
O logice matematycznej | |
LPNMR'95 | |
Mathematical foundations of information storage and retrieval. | |
Non-classical logics and computer science, c1994: | |
Nonmonotonic logic : context-dependent reasoning | |
Normal form theorem for logic programs with cardinality constraints | |
Notes on logic | |
On dependencies of attributes in information systems | |
On Hamiltonian paths in a graph | |
On the data base machine | |
On the metamathematics of impredicative set theory | |
Second order arithmetic and related topics | |
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975 | |
Set theory and hierarchy theory / edited by W. Marek, M. Srebrny, and A. Zarach. - Berlin, 1976. | |
Some properties of stationary sets | |
Spectrum of L | |
Transactions on Rough Sets VII : Commemorating the Life and Work of Zdzislaw Pawlak, Part II | |
Tree-structured attribute systems | |
A View of Revival of Mathematical Logic in Warsaw, 1945–1975 | |
Wprowadzenie do kombinatoryki |