Books listed by ISBN

Melvin Fitting

M. F. · M. Fitting

titlemedia type ISBN-13year of publica-
tion		other author(s)
Beyond Two: Theory and Applications of Multiple-Valued LogicGebunden
978-3-7908-1541-22003Ewa Orlowska
Computability Theory: Semantics and Logic ProgrammingHardcover 978-0-19-503691-61987
First-Order Logic and Automated Theorem ProvingPaperback 978-1-4612-7515-22013
First-Order Logic and Automated Theorem ProvingHardcover 978-0-387-94593-41995
First-Order Logic and Automated Theorem Proving   " 978-0-387-97233-61990
First-order Logic and Automated Theorem ProvingGebunden
978-3-540-97233-41990
First-Order Modal LogicPaperback 978-0-7923-5335-51999Richard L. Mendelsohn
Intuitionistic logic, model theory and forcing   " 978-0-7204-2256-61969
Justification Logic: Reasoning with ReasonsHardcover 978-1-108-42491-22019Sergei Artemov
Raymond Smullyan on Self ReferenceTaschenbuch
978-3-319-88647-32019Brian Rayman
Raymond Smullyan on Self ReferenceGebunden
978-3-319-68731-52018   "
Set Theory and the Continuum ProblemPaperback 978-0-486-47484-72010Raymond M. Smullyan

Cambridge University Press · Dover Publications · Elsevier · Oxford University Press · Physica-Verlag Heidelberg · Springer

 

Melvin Fiva Janowitz