Follow us on

Search

Duality and definability in first order logic

Makkai, Michael <1939- >

Duality and definability in first order logic

Information

You can find it in

Category

Testo

Nature

Monografia

Title

Duality and definability in first order logic

Names

[Autore] Makkai, Michael <1939- >

Dewey class

510 MATEMATICA

Description

Duality and definability in first order logic / Michael Makkai

Physical description

x, 106 p ; 26 cm

Standard numbers

ISBN: 0821825658

Date

c1993

Place of publication

Providence, R.I

Village

STATI UNITI

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0223123

Resources links

http://id.sbn.it/bid/PUV0223123

Tag

Images

Arcivescovi martinus martinez, michael vivanez, alphonsus de lorca (dipinto)

Arcivescovi martinus martinez, michael vivanez, alphonsus de lorca (dipinto)

Year : 1899

Ardesia 15

Ardesia 15

Author : Pinna Gaetano <1939->

Year : 1998

Results 2 of 60251

Texts

First order categorical logic : model-theoretical methods in the theory of topoi and related categories

First order categorical logic : model-theoretical methods in the theory of topoi and related categories

Author : Makkai, Michael <1939- >

Year : 1977

First-order logic and automated theorem proving

First-order logic and automated theorem proving

Author : Fitting, Melvin

Year : 1996

Results 2 of 2186112

Video

Law & order : i due volti della giustizia. The first year

Law & order : i due volti della giustizia. The first year

Year : 2003

5: Harry Potter e l'Ordine della fenice

5: Harry Potter e l'Ordine della fenice

Year : 2016

Results 2 of 70538

Audio

Live and private recordings in chronological order

Live and private recordings in chronological order

Author : Parker, Charlie

Year : 1989

Women and children first

Women and children first

Author : Van Halen <gruppo musicale>

Year : 2000

Results 2 of 27300

Comments

Write a comment

Send