The social marketplace for new and used books.

Get started

For the authors

Support

Track a shipment

Company

Contact us

Fast delivery with

Safe payments by

© 2026 Bookis AS

English

Norway

Region is based on IP address

The Language of First-Order Logic

Paperback • 1991 • English

The Language of First-Order Logic: Including the Macintosh™ program Tarski's World

By Jon Barwise, John Etchemendy

0 Ratings • 0.0 of 5

‌
‌

‌

‌
‌

‌
‌

‌

‌
‌
‌
‌
‌
‌
‌
‌

‌

About the book

Book details

Published year

1991

Language

English

Original title

The Language of First-Order 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

0 Ratings • 0.0 of 5

You might also like

Lexikografie. Eine Einführung

Lexikografie. Eine Einführung

Thomas Herbst

Software Languages

Software Languages

Ralf Lammel

An introduction to the philosophy of language

An introduction to the philosophy of language

Ian Morrison

Viking language 1

Viking language 1

Viking language 2

Viking language 2

Logic

Logic

Dan Cryan

The Grammar of Words

The Grammar of Words

Geert Booij

The English Language A Historical Introduction

The English Language A Historical Introduction

Charles Barber

Language, Proof and Logic

Language, Proof and Logic

Dave Barker-Plummer

Introduction to logic

Introduction to logic

Peer Harry Bjørkeng

Discrete Structures, Logic and Computability

Discrete Structures, Logic and Computability

James L. Hein

Introduction to English Syntax

Introduction to English Syntax

Rolf Kreyer

Language of Science

Language of Science

M.A.K. Halliday

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

Deductive Logic

Deductive Logic

Warren Goldfarb

Grammaticalization

Grammaticalization

P. Austin, J. Bresnan, B. Comrie, S. Crain, W. Dressler, C. Ewen, R. Lass, D. Lightfoot, Paul J. Hopper

Logic and Philosophy

Logic and Philosophy

Paul Tidman

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

Syntactic theory. A formal introduction.

Syntactic theory. A formal introduction.

Ivan A. Sag

Mathematical Methods in Linguistics

Mathematical Methods in Linguistics

Barbara H.

Patterns in the Mind

Patterns in the Mind

Ray Jackendoff

Deontic Logic in Computer Science

Deontic Logic in Computer Science

John-Jules Ch. Meyer

Språk, logikk og argumentasjonsteori

Språk, logikk og argumentasjonsteori

Øyvind Baune

Språklogikk

Språklogikk

Arild Utaker

Korttekster

Korttekster

Kjell Heggelund

Formal Logic

Formal Logic

Jeffrey, Richard C.

Den filologiske vitenskap

Den filologiske vitenskap

Odd Einar Haugen

The Meaning of Language

The Meaning of Language

Robert M. Martin

Logic in linguistics

Logic in linguistics

Jens Allwood

Why Does Language Matter to Philosophy?

Why Does Language Matter to Philosophy?

Ian Hacking

On Skolem and Herbrand theorems for intuitionistic logic

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton

Ordet er fritt

Ordet er fritt

John Arnt

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