Topic

Created by esplana on 12/6/2008

Language, Proof and Logic ^en

mid: /m/04_5lnm notable type: /book/book notable for: /book/book

Language, Proof and Logic is a book written by Jon Barwise and John Etchemendy.

Types:

Add type

Metaweb System Types

Object

Common

Topic

Books

Book

Freebase

Object profile

Media

Written Work

Computer Science

topic

Object is not asserted on this topic.

ID /type/object/id

GUID /type/object/guid

#9202a8c04000641f8000000009f2ca93

Type /type/object/type

Name /type/object/name

- - Edit
  - Delete
Language, Proof and Logic

Key /type/object/key

- - Edit
  - Delete
/en/language_proof_and_logic

Timestamp /type/object/timestamp

Saturday, December 06, 2008 5:42 AM

Permission /type/object/permission

/boot/all_permission

Creator /type/object/creator

esplana

Attribution /type/object/attribution

esplana

Search /type/object/search

Machine ID /type/object/mid

/m/04_5lnm

Also known as /common/topic/alias

Description /common/topic/description

- - Edit
  - Delete
Language, Proof and Logic is a book written by Jon Barwise and John Etchemendy.

Image /common/topic/image

Official website /common/topic/official_website

Topic equivalent webpage /common/topic/topic_equivalent_webpage

Social media presence /common/topic/social_media_presence

Topical webpage /common/topic/topical_webpage

- - Edit
  - Delete
http://www-csli.stanford.edu/pubs/

Subjects /common/topic/subjects

Subject of /common/topic/subject_of

Web Link(s) (deprecated) /common/topic/webpage

-

Properties /common/topic/properties

Article /common/topic/article

Language, Proof and Logic is a book written by Jon Barwise and John Etchemendy.

Weblink /common/topic/weblink

Notable for /common/topic/notable_for

Book

Notable types /common/topic/notable_types

Book
Written Work

Editions /book/book/editions

Genre /book/book/genre

Characters /book/book/characters

Interior illustrations by /book/book/interior_illustrations_by

First edition /book/book/first_edition

Object profile is not asserted on this topic. Assert type now.

Object generation time /freebase/object_profile/object_generation_time

- - Edit
  - Delete
Monday, May 20, 2013 8:58 PM

Link count /freebase/object_profile/link_count

Author /book/written_work/author

Editor /book/written_work/editor

Date written /book/written_work/date_written

- - Edit
  - Delete
1999

Date of first publication /book/written_work/date_of_first_publication

- - Edit
  - Delete
2002

Subjects /book/written_work/subjects

Computer Science
Logic

Original language /book/written_work/original_language

English Language

Online versions /book/written_work/online_versions

-

School or Movement /book/written_work/school_or_movement

Part of series /book/written_work/part_of_series

Previous in series /book/written_work/previous_in_series

Next in series /book/written_work/next_in_series

ISFDB ID /book/written_work/isfdb_id

Translations /book/written_work/translations

Also known as /base/computerscience/topic/alias

article /base/computerscience/topic/article

image /base/computerscience/topic/image

Web Link(s) /base/computerscience/topic/webpage

-

Comments

Hide

Language, Proof and Logic ^en

Add type

Metaweb System Types

Common

Books

Freebase

Media

Computer Science

Freebase Commons Metaweb System Types /type

Object /type/object

Freebase Commons Common /common

Topic /common/topic x

Freebase Commons Books /book

Book /book/book x

Freebase Commons Freebase /freebase

Object profile /freebase/object_profile

Freebase Commons Media /media_common

Written Work /book/written_work x

User Domain Computer Science /base/computerscience

topic /base/computerscience/topic x

Comments

Language, Proof and Logic en

Freebase Commons Metaweb System Types /type

Freebase Commons Common /common

Freebase Commons Books /book

Freebase Commons Freebase /freebase

Freebase Commons Media /media_common

User Domain Computer Science /base/computerscience

Keyboard Shortcuts

Navigation

Editing

Comments

Wait!

Wait!

Language, Proof and Logic ^en