The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Norway

Region is based on IP address

Language, Proof and Logic

Paperback • 2011 • English

Language, Proof and Logic

By Dave Barker-Plummer

1 Ratings • 5.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

This textbook/software package covers first-order language in a method 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 accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices...Show more

Book details

ISBN

9781575866321

Publisher

Centre for the Study of Language Information

Published year

2011

Language

English

Original title

Language, Proof and Logic

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

1 Ratings • 5.0 of 5

You might also like

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Starting Out with Programming Logic and Design

Starting Out with Programming Logic and Design

Tony Gaddis

Software Languages

Software Languages

Ralf Lammel

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Concepts of Programming Languages

Concepts of Programming Languages

Robert W. Sebesta

Programming Language Pragmatics

Programming Language Pragmatics

USA) Scott Michael L. (University of Rochester NY

Putting Logic in its Place

Putting Logic in its Place

David Christensen

Logic

Logic

Dan Cryan

An Introduction to Language

An Introduction to Language

Victoria Fromkin

The Grammar of Words

The Grammar of Words

Geert Booij

Discrete Structures, Logic and Computability

Discrete Structures, Logic and Computability

James L. Hein

A Rulebook for Arguments

A Rulebook for Arguments

Anthony Weston

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

The Logic of Real Arguments

The Logic of Real Arguments

Alec Fisher

Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

Deductive Logic

Deductive Logic

Warren Goldfarb

Concepts in Programming Languages

Concepts in Programming Languages

John Abercrombie

Syntactic Theory A Formal Introduction

Syntactic Theory A Formal Introduction

Ivan A. Sag

Logic and Philosophy

Logic and Philosophy

Paul Tidman

Discrete Mathematics

Discrete Mathematics

Norman L. Biggs

Problem Solving and Programming Concepts

Problem Solving and Programming Concepts

Maureen Sprankle

The Philosophy of Language

The Philosophy of Language

A. P. Martinich

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Programming Languages

Programming Languages

Ravi Sethi

Mathematical Methods in Linguistics

Mathematical Methods in Linguistics

Barbara H.

Språk, logikk og argumentasjonsteori

Språk, logikk og argumentasjonsteori

Øyvind Baune

Formal Logic

Formal Logic

Jeffrey, Richard C.

The Meaning of Language

The Meaning of Language

Robert M. Martin

A First Course in Discrete Mathematics

A First Course in Discrete Mathematics

John C. Molluzzo

Logic in linguistics

Logic in linguistics

Jens alleood,

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The Logic Book

The Logic Book

Merrie Bergmann