Logical methods

&
Cambridge, Massachusetts: The MIT Press. Edited by Shawn Standefer (2023)
  Copy   BIBTEX

Abstract

An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well.

Categories

Keywords

Reprint years

Call number

BC71

ISBN(s)

9780262372695   0262544849
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logical Methods, by Greg Restall and Shawn Standefer. [REVIEW]Jeremiah Joven Joaquin - 2024 - Teaching Philosophy 47 (1):122-126.
Logical methods in artificial intelligence applications.Eva Armengol, Dionís Boixader & Francisco Grimaldo - 2017 - Journal of Applied Logic 23:1-2.
Editorial Introduction: Logical Methods for Social Concepts. [REVIEW]Andreas Herzig & Emiliano Lorini - 2011 - Journal of Philosophical Logic 40 (4):441-443.
Continuous-Logical Methods in Mathematical Economics.Vitaly I. Levin - 2016 - Studia Humana 5 (1):31-39.
Anaphora—Logical Methods of Interpretation.Jarosław Fall - 2001 - Studia Semiotyczne—English Supplement 23:46-83.
Logical methods in mathematics and computer science: A symposium in honor of Anil Nerode's sixtieth birthday.Richard A. Shore - 1993 - Journal of Symbolic Logic 58 (3):1091-1092.
Toward More Clarity in Business Communication by Modern Logical Methods.Layman E. Allen - 1970 - Journal of Symbolic Logic 35 (1):162-164.
Luther as Nominalist: A Study of the Logical Methods Used in Martin Luther's Disputations in the Light of Their Medieval Background.Graham White - 1994 - Helsinki, Finland: Luther-Agricola Society.
Logicheskiye Metody Analyza Nauchnovo Poznanya (Logical Methods of the Analysis of Scientific Knowledge), V.A. Smirnov - Book Reviev.György Mezei - 1990 - Dialectics and Humanism 17 (1):179-181.
Review: Layman E. Allen, Toward More Clarity in Business Communication by Modern Logical Methods; Layman E. Allen, Toward a Procedure for Logically Cataloguing Knowledge. [REVIEW]Robert F. Barnes - 1970 - Journal of Symbolic Logic 35 (1):162-164.

Analytics

Added to PP
2022-11-19

Downloads
30 (#550,221)

6 months
20 (#138,575)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Greg Restall
University of Melbourne
Shawn Standefer
National Taiwan University

Citations of this work

Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrews

Add more citations

References found in this work

No references found.

Add more references