| found: 40 books on 3 pages. This is page 1 - Next page |
Hyperproof CSLI Lecture Notes No. 42
Center for the Study of Language and Inf, Stanford, California, 1994. Edition Unstated, Softcover. Very Good Condition. 9781881526117 Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and software program on a 3.5 inch diskette. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic. the book may have been read but shows no damage, and the diskette is still sealed at the rear of the book Size: 4to 9¾" - 12" tall. 254 pages. Text body is clean, and free from previous owner annotation, underlining and highlighting. Please refer to accompanying picture (s). Quantity Available: 1.
Syber's BooksProfessional sellerBook number: 0258532
AUD 22.00 [Appr.: EURO 14.25 US$ 16.77 | £UK 12.25 | JP¥ 1839]
Catalogue: Language & Linguistics
Keywords: BZDB2 analytical reasoning proof construction Macintosh software heterogeneity of information Language & Linguistics; Major Branches of Philosophical Study; philosophy. Hyperproof CSLI Lecture Notes No 42 Major Branches of Philosophical Study philosoph
Language, Proof and Logic (Text/Software Package)
Stanford, California, U.S.A. Stanford Univ Center for the Study. 2002, First Thus. (ISBN: 157586374X) Pictorial Card, 8vo - over 7¾" - 9¾" tall. Textbook, Light rubbing, bumping and shelfwear to covers. Spine straight and uncreased. Interior tight and unmarked. CD is present, along with Registration ID#, but package has been opened and presumably accessed. Seller has downloaded files and everything seems to work. There is a function called "Submit 1.4" in which the student submits files for marking. This asks for registration #, name, email, instructor's name and instructor's email. It is not clear whether a new user would be permitted to upload exercises for correction, though there is on the CD cover an 8-digit code which may be a password. 587 pp. Very Good/No Jacket as Issued.
First Used BooksProfessional sellerBook number: 004010
CAD 29.00 [Appr.: EURO 19.5 US$ 23.15 | £UK 17 | JP¥ 2539]
Catalogue: Philosophy
Keywords: Philosophy Logic Proofs Boolean Conditionals 157586374x
The Language of First-Order Logic including the Macintosh program Tarski`s World.
Menlo Park, CSLI, 1990. 257 S. Good condition. Diskette missing. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.
Antiquariat Thomas HakerProfessional sellerBook number: 554665
€ 5.40 [Appr.: US$ 6.43 | £UK 4.75 | JP¥ 705]
Catalogue: Sprachen-allgemein
Keywords: Linguistik Linguistics Sprachwissenschaften, Philosophy Philosophie Logik ISBN: 0937073598
The Liar; An Essay on Truth and Circularity
Oxford University Press, New York, 1989. Reprint, Softcover. Very Good Condition. 9780195059441 Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. -- rear panel blurb Size: 8vo - over 7¾" - 9¾" tall. 208 pages. The Spine Has Faded from Exposure to Light. Please refer to accompanying picture (s). Quantity Available: 1.
Syber's BooksProfessional sellerBook number: 0258652
AUD 22.00 [Appr.: EURO 14.25 US$ 16.77 | £UK 12.25 | JP¥ 1839]
Catalogue: Philosophy
Keywords: BZDB2 Liar paradox, Liar paradox, Dewey: 165 Philosophy; Logic; The Liar An Essay on Truth and Circularity Logic
Situation Theory and Its Applications Volume 2 Csli Lecture Notes Number 26
Stanford, Centre for the Study of Language and Information. 1991, First Edition. (ISBN: 0937073709). Soft Cover. From an academic library with the usual stamps and labels. Contents clean. Card covers have been laminated with clear adhesive plastic. This is a heavy book and we will request extra shipping if ordered from outside the UK. Good/No Jacket.
Webbooks, WigtownProfessional sellerBook number: A00016517
GBP 20.00 [Appr.: EURO 23.25 US$ 27.42 | JP¥ 3007]
Keywords: Philosophy 0937073709
Situations and Attitudes
The MIT Press, 1996. Paperback. Paperback. 351pp. Rubbed with rodent nibbling to back. Clean and sound. Good copy.
C L HawleyProfessional sellerBook number: 14965
GBP 5.00 [Appr.: EURO 6 US$ 6.85 | JP¥ 752]
Keywords: Words Language Studies Linguistics Philosophy
The Journal of Symbolic Logic, Volume 3, Number 4, December 1938
Princeton, NJ, Assn. for Symbolic Logic, 1986. 1st printing. pp. 125 -212 .Royal 8vo,,The complete issue in the original printed stiff card covers.. wrappers .
Bison BooksProfessional sellerBook number: 9900045405
USD 10.00 [Appr.: EURO 8.5 | £UK 7.5 | JP¥ 1097]
Catalogue: Philosophy
Keywords: Mathematics;Cognition;Language;Computation;;;;;
The Journal of Symbolic Logic, Volume 52, Number 1, March 1987
Princeton, NJ, Assn. for Symbolic Logic, 1987. 1st printing. pp. 352.Royal 8vo,,The complete issue in the original printed stiff card covers.. wrappers Light shelfwear; very good.
Bison BooksProfessional sellerBook number: 9900045406
USD 10.00 [Appr.: EURO 8.5 | £UK 7.5 | JP¥ 1097]
Catalogue: Philosophy
Keywords: Mathematics;Cognition;Language;Computation;;;;;
The Journal of Symbolic Logic, Volume 52, Number 2, June 1987
Princeton, NJ, Assn. for Symbolic Logic, 1987. 1st printing. pp. 353 - 576.Royal 8vo,,The complete issue in the original printed stiff card covers.. wrappers Some minor soiling (incl. ink marking), and creasing to covers; very good-.
Bison BooksProfessional sellerBook number: 9900045407
USD 10.00 [Appr.: EURO 8.5 | £UK 7.5 | JP¥ 1097]
Catalogue: Philosophy
Keywords: Mathematics;Cognition;Language;Computation;;;;;
The Journal of Symbolic Logic, Volume 53, Number 2, June 1988
Princeton, NJ, Assn. for Symbolic Logic, 1988. 1st printing. pp. 337 - 672.Royal 8vo,,The complete issue in the original printed stiff card covers.. wrappers Crease along front cover and to first several pages, spot of soiling to rear cover; very good.
Bison BooksProfessional sellerBook number: 9900045408
USD 10.00 [Appr.: EURO 8.5 | £UK 7.5 | JP¥ 1097]
Catalogue: Philosophy
Keywords: Mathematics;Cognition;Language;Computation;;;;;
The Journal of Symbolic Logic, Volume 53, Number 3, September 1988
Princeton, NJ, Assn. for Symbolic Logic, 1988. 1st printing. pp. 673 - 1008,Royal 8vo,,The complete issue in the original printed stiff card covers.. wrappers Light shelfwear; very good.
Bison BooksProfessional sellerBook number: 9900045409
USD 10.00 [Appr.: EURO 8.5 | £UK 7.5 | JP¥ 1097]
Catalogue: Philosophy
Keywords: Mathematics;Cognition;Language;Computation;;;;;
The Journal of Symbolic Logic, Volume 53, Number 4, December 1988
Princeton, NJ, Assn. for Symbolic Logic, 1988. 1st printing. pp. 1009-1344.Royal 8vo,,The complete issue in the original printed stiff card covers.. wrappers Light shelfwear; very good.
Bison BooksProfessional sellerBook number: 9900045410
USD 10.00 [Appr.: EURO 8.5 | £UK 7.5 | JP¥ 1097]
Catalogue: Philosophy
Keywords: Mathematics;Cognition;Language;Computation;;;;;
The Journal of Symbolic Logic, Volume 3, Number 4, December 1938
Princeton, NJ, Assn. for Symbolic Logic, 1986. 1st printing. pp. 125 -212 .Royal 8vo,,The complete issue in the original printed stiff card covers.. wrappers .
Greenfield BooksProfessional sellerBook number: 9900045405
USD 10.00 [Appr.: EURO 8.5 | £UK 7.5 | JP¥ 1097]
Catalogue: Philosophy
Keywords: Mathematics;Cognition;Language;Computation;;;;;
The Journal of Symbolic Logic, Volume 52, Number 1, March 1987
Princeton, NJ, Assn. for Symbolic Logic, 1987. 1st printing. pp. 352.Royal 8vo,,The complete issue in the original printed stiff card covers.. wrappers Light shelfwear; very good.
Greenfield BooksProfessional sellerBook number: 9900045406
USD 10.00 [Appr.: EURO 8.5 | £UK 7.5 | JP¥ 1097]
Catalogue: Philosophy
Keywords: Mathematics;Cognition;Language;Computation;;;;;
The Journal of Symbolic Logic, Volume 52, Number 2, June 1987
Princeton, NJ, Assn. for Symbolic Logic, 1987. 1st printing. pp. 353 - 576.Royal 8vo,,The complete issue in the original printed stiff card covers.. wrappers Some minor soiling (incl. ink marking), and creasing to covers; very good-.
Greenfield BooksProfessional sellerBook number: 9900045407
USD 10.00 [Appr.: EURO 8.5 | £UK 7.5 | JP¥ 1097]
Catalogue: Philosophy
Keywords: Mathematics;Cognition;Language;Computation;;;;;