Outstanding Contributions to Logic

Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings by

Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings

Outstanding Contributions to Logic

292 pages • paperback

nonfiction computer science mathematics philosophy
Johan Van Benthem on Logic and Information Dynamics by

Johan Van Benthem on Logic and Information Dynamics

Outstanding Contributions to Logic

1027 pages • paperback

nonfiction computer science design mathematics philosophy informative reflective medium-paced
Raymond Smullyan on Self Reference by

Raymond Smullyan on Self Reference

Outstanding Contributions to Logic

195 pages • paperback

nonfiction computer science mathematics philosophy science
Dag Prawitz on Proofs and Meaning by

Dag Prawitz on Proofs and Meaning

Outstanding Contributions to Logic

458 pages • hardcover

nonfiction computer science mathematics philosophy challenging informative reflective medium-paced
Larisa Maksimova on Implication, Interpolation, and Definability by

Larisa Maksimova on Implication, Interpolation, and Definability

Outstanding Contributions to Logic

371 pages • paperback

nonfiction computer science mathematics philosophy medium-paced
Ewa Orlowska on Relational Methods in Logic and Computer Science by

Ewa Orlowska on Relational Methods in Logic and Computer Science

Outstanding Contributions to Logic

502 pages • hardcover

nonfiction mathematics philosophy
Martin Davis on Computability, Computational Logic, and Mathematical Foundations by

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Outstanding Contributions to Logic

438 pages • hardcover

nonfiction mathematics philosophy medium-paced
David Makinson on Classical Methods for Non-Classical Problems by

David Makinson on Classical Methods for Non-Classical Problems

Outstanding Contributions to Logic

433 pages • hardcover

nonfiction mathematics philosophy informative reflective medium-paced
Rohit Parikh on Logic, Language and Society by

Rohit Parikh on Logic, Language and Society

Outstanding Contributions to Logic

359 pages • paperback

nonfiction mathematics philosophy
Petr Hájek on Mathematical Fuzzy Logic by

Petr Hájek on Mathematical Fuzzy Logic

Outstanding Contributions to Logic

318 pages • paperback

nonfiction mathematics philosophy