Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John Logical reasoning with diagrams and sentences. Using hyperproof. (English) Zbl 1373.03001 CSLI Lecture Notes 216. Stanford, CA: CSLI Publications (ISBN 978-1-57586-951-3/pbk). xvii, 210 p. (2017). MSC: 03-01 03-04 03B10 68N15 PDFBibTeX XMLCite \textit{D. Barker-Plummer} et al., Logical reasoning with diagrams and sentences. Using hyperproof. Stanford, CA: CSLI Publications (2017; Zbl 1373.03001)
Cégielski, Patrick (ed.); Enayat, Ali (ed.); Kossak, Roman (ed.) Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. (English) Zbl 1375.03005 CSLI Lecture Notes 217. Stanford, CA: CSLI Publications (ISBN 978-1-57586-953-7/pbk). x, 241 p. (2016). MSC: 03-06 03C62 03F30 00B25 PDFBibTeX XMLCite \textit{P. Cégielski} (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference ``Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)'' (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16--18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7--9, 2015. Stanford, CA: CSLI Publications (2016; Zbl 1375.03005)
Cégielski, Patrick (ed.) Studies in weak arithmetics. (English) Zbl 1211.03004 CSLI Lecture Notes 196. Stanford, CA: CSLI Publications; Créteil: Presses Universitaires du Pôle de Recherche et d’Enseignement Supérieur Paris-Est (ISBN 978-1-57586-602-4/pbk). viii, 213 p. (2010). MSC: 03-06 03C62 03F30 03H15 11Uxx 00B15 PDFBibTeX XMLCite \textit{P. Cégielski} (ed.), Studies in weak arithmetics. Stanford, CA: CSLI Publications; Créteil: Presses Universitaires du Pôle de Recherche et d'Enseignement Supérieur Paris-Est (2010; Zbl 1211.03004)
Link, Godehard Algebraic semantics in language and philosophy. (English) Zbl 0923.03010 CSLI Lecture Notes. 74. Stanford, CA: CSLI Publications. xiv, 432 p. (1998). MSC: 03A05 03B65 00A30 03-02 00A69 91F20 PDFBibTeX XMLCite \textit{G. Link}, Algebraic semantics in language and philosophy. Stanford, CA: CSLI Publications (1998; Zbl 0923.03010)
Barwise, Jon; Etchemendy, John Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. (English) Zbl 0860.03004 CSLI Lecture Notes. 42. Stanford, CA: CSLI, Center for the Study of Language and Information. xvii, 255 p. (1994). Reviewer: V.Ya.Kreinovich (El Paso) MSC: 03-01 03-04 03B10 PDFBibTeX XMLCite \textit{J. Barwise} and \textit{J. Etchemendy}, Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. Stanford, CA: CSLI, Center for the Study of Language and Information (1994; Zbl 0860.03004)
Barwise, Jon; Etchemendy, John The language of first-order logic. Including the Macintosh version of Tarski’s World 4.0. 3rd ed., rev. and exp. (English) Zbl 0858.03002 CSLI Lecture Notes. 23. Stanford, CA: CSLI, Center for the Study of Language and Information. xiv, 313 p. (1993). MSC: 03-01 03B10 03B05 PDFBibTeX XMLCite \textit{J. Barwise} and \textit{J. Etchemendy}, The language of first-order logic. Including the Macintosh version of Tarski's World 4.0. 3rd ed., rev. and exp. Stanford, CA: CSLI, Center for the Study of Language and Information (1993; Zbl 0858.03002)
Barwise, Jon; Etchemendy, John The language of first-order logic. Including the IBM-compatible Windows version of Tarski’s World 4. 0 (with 1 IBM-PC floppy disk). 3rd ed. (English) Zbl 0942.03500 CSLI Lecture Notes. 34. Stanford, CA: Stanford University, Center for the Study of Language and Information. xiv, 319 p. (1992). MSC: 03-01 03-04 03B10 03B05 PDFBibTeX XMLCite \textit{J. Barwise} and \textit{J. Etchemendy}, The language of first-order logic. Including the IBM-compatible Windows version of Tarski's World 4. 0 (with 1 IBM-PC floppy disk). 3rd ed. Stanford, CA: Stanford University, Center for the Study of Language and Information (1992; Zbl 0942.03500)
Goldblatt, Robert Logics of time and computation. (English) Zbl 0635.03024 CSLI Lecture Notes, No. 7. Stanford: Center for the Study of Language and Information, Leland Stanford Junior University. Distr. by The University of Chicago Press, Chicago-London. IX, 131 p.; Cloth: £19.30; $ 29.95 (in Europe); Paper: £9.50; $ 14.50 (in Europe) (1987). Reviewer: H.Nishimura MSC: 03B70 03B45 03-01 68-01 68Q65 PDFBibTeX XML