Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Regione Sardegna

Altre azioni
Torna Indietro Torna Indietro

Duality and definability in first order logic

Makkai, Michael <1939- >

Duality and definability in first order logic
Informazioni
Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Duality and definability in first order logic

Nomi

[Autore] Makkai, Michael <1939- >

Classe Dewey

510 MATEMATICA

Descrizione

Duality and definability in first order logic / Michael Makkai

Descrizione Fisica

x, 106 p ; 26 cm

Numeri Standard

ISBN: 0821825658

Data

c1993

Luogo di pubblicazione

Providence, R.I

Paese

STATI UNITI

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0223123

Link Risorse

http://id.sbn.it/bid/PUV0223123
Biblioteca della Pontificia facoltà teologica della Sardegna

Tag

Altre azioni

Immagini

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

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

Anno : 1899
Ardesia 15

Ardesia 15

Autore : Pinna Gaetano <1939->

Anno : 1998

Risultati 2 di 60251

Visualizza Tutti Visualizza Tutti

Testi

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

Autore : Makkai, Michael <1939- >

Anno : 1977
First-order logic and automated theorem proving

First-order logic and automated theorem proving

Autore : Fitting, Melvin

Anno : 1996

Risultati 2 di 2186112

Visualizza Tutti Visualizza Tutti

Video

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

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

Anno : 2003
5: Harry Potter e l'Ordine della fenice

5: Harry Potter e l'Ordine della fenice

Anno : 2016

Risultati 2 di 70538

Visualizza Tutti Visualizza Tutti

Audio

Live and private recordings in chronological order

Live and private recordings in chronological order

Autore : Parker, Charlie

Anno : 1989
Women and children first

Women and children first

Autore : Van Halen <gruppo musicale>

Anno : 2000

Risultati 2 di 27300

Visualizza Tutti Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia
Scrivi un commento