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 • missing pub info (editions)

nonfiction computer science mathematics philosophy
Larisa Maksimova on Implication, Interpolation, and Definability by

Larisa Maksimova on Implication, Interpolation, and Definability

Outstanding Contributions to Logic

371 pages • missing pub info (editions)

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

Dag Prawitz on Proofs and Meaning

Outstanding Contributions to Logic

458 pages • missing pub info (editions)

nonfiction computer science mathematics philosophy challenging informative reflective medium-paced
Johan Van Benthem on Logic and Information Dynamics by

Johan Van Benthem on Logic and Information Dynamics

Outstanding Contributions to Logic

1027 pages • missing pub info (editions)

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 • missing pub info (editions)

nonfiction computer science mathematics philosophy science
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 • missing pub info (editions)

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 • missing pub info (editions)

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 • missing pub info (editions)

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 • missing pub info (editions)

nonfiction mathematics philosophy
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics by
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
—

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Outstanding Contributions to Logic

490 pages • missing pub info (editions)

nonfiction mathematics philosophy