Bild 1 von 1
Galerie
Bild 1 von 1
Ähnlichen Artikel verkaufen?
Language, Proof and Logic: Text and CD by Barwise, Jon; Etchemendy, John
by Barwise, Jon; Etchemendy, John | PB | Good
US $7,81
Ca.CHF 6,19
Artikelzustand:
“Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, ”... Mehr erfahrenÜber den Artikelzustand
2 verfügbar5 verkauft
- Sofort-KaufenLanguage, Proof and Logic: Text and CD by Barwise, Jon; Etchemendy, John
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos Economy Shipping.
Standort: Aurora, Illinois, USA
Lieferung:
Lieferung zwischen Di, 18. Nov und Mo, 24. Nov nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Verkäufer zahlt Rückversand.
Zahlungen:
Sicher einkaufen
Info zum Artikel
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:143990772346
Artikelmerkmale
- Artikelzustand
- Gut
- Hinweise des Verkäufers
- Binding
- Paperback
- Book Title
- Language, Proof and Logic
- Weight
- 2 lbs
- Product Group
- Book
- IsTextBook
- Yes
- ISBN
- 9781575863740
Über dieses Produkt
Product Identifiers
Publisher
Csli Publications/Center for T.H.E. Study of Language & Information
ISBN-10
157586374X
ISBN-13
9781575863740
eBay Product ID (ePID)
15038828207
Product Key Features
Number of Pages
598 Pages
Publication Name
Language, Proof and Logic : Text and CD
Language
English
Publication Year
2002
Subject
General, Logic
Type
Textbook
Subject Area
Mathematics, Computers, Philosophy
Format
Mixed Lot
Dimensions
Item Height
1.7 in
Item Weight
44 Oz
Item Length
9.2 in
Item Width
7.7 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
99-041113
Dewey Edition
21
Dewey Decimal
160
Table Of Content
This package contains: - The Language, Proof and Logic textbook - An updated and enhanced version of the award-winning Tarski's World program, that teaches the basics of first-order logic - Fitch , a new program that allows the creation and checking of natural deduction proofs - Boole , a new program that facilitates the creation of truth tables - Submit , an online grading facility that allows students to submit solutions to hundreds of computer-based exercises for immediate assessment - The complete manuscript of the text in Adobe PDF format - LPL Software Manual All programs are cross-platform. There is no need to purchase separate Macintosh and Windows versions. Additional material and technical support are available at cslipublications.stanford.edu/LPL
Synopsis
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The package includes four pieces of software: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.); Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable., This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The package includes four pieces of software: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.); Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable."
LC Classification Number
BC61
Artikelbeschreibung des Verkäufers
Info zu diesem Verkäufer
ThriftBooks
99,2% positive Bewertungen•20.1 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (5'967'463)
- e***a (271)- Bewertung vom Käufer.Letzter MonatBestätigter KaufOrdered from USA and arrived to me in UK about 10 days later. Book appropriately packaged and mostly as described. Was missing the cd as listed but communication with the seller was friendly and polite if not a little confusing - partial refunds are only offered after you start the formal eBay return request process, they aren't capable of giving refunds after simple messaging to customer service. All in all though, great value and a positive transaction. Would interact again 👍
- e***- (123)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufUnfortunately I received a damaged book, the item and the package both were damaged and it was clearly evident its appearance that it happened during transit. The seller was very understanding and gave me a full refund for the damaged book, though it was no fault of their own. Other than the damage, the book was as described, the quality and condition aside from the damaged spot was like new. The cost of the book was reasonable. I would definitely purchase from the seller again.
- 7***j (871)- Bewertung vom Käufer.Letzter MonatBestätigter KaufI recently purchased an item from this eBay seller, and I couldn't be happier with the experience. From the prompt communication to the fast shipping, everything was handled with utmost professionalism. The item arrived exactly as described and was well packaged to ensure its safety during transit. The seller was courteous and responsive, making the entire transaction smooth and hassle-free. I highly recommend this seller to anyone looking for quality products and excellent service.
Noch mehr entdecken:
- Hörbücher und Hörspiele Geisterjäger John Sinclair mit Audio-CD,
- John Grisham Hörbücher mit Audio-CD,
- John Irving Hörbücher mit Audio-CD,
- John Green Hörbücher mit Audio-CD,
- John Grisham Hörbücher MP3-CD,
- John Green Hörbücher und Hörspiele mit Audio-CD,
- Hörbücher und Hörspiele Geisterjäger John Sinclair mit Audio-CD,
- John Grisham Hörbücher und Hörspiele auf Deutsch mit Audio-CD,
- John Grisham Jugendliche Hörbücher und Hörspiele mit Audio-CD,
- Hörbücher und Hörspiele Geisterjäger John Sinclair Action mit Audio-CD
ThriftBooks
99,2% positive Bewertungen•20.1 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (5'967'463)
- e***a (271)- Bewertung vom Käufer.Letzter MonatBestätigter KaufOrdered from USA and arrived to me in UK about 10 days later. Book appropriately packaged and mostly as described. Was missing the cd as listed but communication with the seller was friendly and polite if not a little confusing - partial refunds are only offered after you start the formal eBay return request process, they aren't capable of giving refunds after simple messaging to customer service. All in all though, great value and a positive transaction. Would interact again 👍
- e***- (123)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufUnfortunately I received a damaged book, the item and the package both were damaged and it was clearly evident its appearance that it happened during transit. The seller was very understanding and gave me a full refund for the damaged book, though it was no fault of their own. Other than the damage, the book was as described, the quality and condition aside from the damaged spot was like new. The cost of the book was reasonable. I would definitely purchase from the seller again.
- 7***j (871)- Bewertung vom Käufer.Letzter MonatBestätigter KaufI recently purchased an item from this eBay seller, and I couldn't be happier with the experience. From the prompt communication to the fast shipping, everything was handled with utmost professionalism. The item arrived exactly as described and was well packaged to ensure its safety during transit. The seller was courteous and responsive, making the entire transaction smooth and hassle-free. I highly recommend this seller to anyone looking for quality products and excellent service.