Wiktor Marek
4 published titles
Elements of logic and foundations of mathematics in problems
1 edition
- ISBN: 9027710848
- Reidel
- 1982
- Details
Logic programming and non-monotonic reasoning : proceedings of the first international workshop
(Contributor)
1 edition
- ISBN: 0262640279
- MIT Press
- 1991
- Details
Nonmonotonic logic : context-dependent reasoning
1 edition
- ISBN: 0387564489
- Springer
- 1993
- Details
Handbook of recursive mathematics
(Contributor)
1 edition
- ISBN: 044450107X
- Elsevier
- 1998
- Details
