×

Found 8 Documents (Results 1–8)

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
MSC:  03-01 03-04 03B10
PDFBibTeX XMLCite

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

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).
PDFBibTeX XMLCite

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field

Software