Search results
- Beyond two : theory and applications of multiple-valued logic / Melvin Fitting, Ewa Orłowska, editors. Heidelberg : Physica-Verlag, c2010 . x, 374 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- First-order logic and automated theorem proving / Melvin Fitting. New York ; Berlin ; Heidelberg : Springer Verlag, c1996 . xvi, 326 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- First-order modal logic / Melvin Fitting and Richard L. Mendelsohn. Dordrecht : Kluwer, 1998 . xii, 287 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 book
- Set theory and the continuum problem / Raymond M. Smullyan, Melvin Fitting. Mineola, New York : Dover Publications, Inc., [2010] ©2010 . xiii, 315 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book