Salta al contenuto principale

Foto dell'autore

J. A Robinson

Autore di Logic, form and function : the mechanization of deductive reasoning

4 opere 18 membri 0 recensioni

Opere di J. A Robinson

Popolari Recenti

Logic, form and function : the mechanization of deductive reasoning (1979) 13 copie

The Sayings Gospel Q : collected essays (2005) 2 copie

Introduction the south Africa Law of person { Third edition] 2 copie

Notes on nomad tribes of eastern Afghanistan (1978) 1 copia

Esplora le opere

Etichette

da leggere (3) Filosofia (1) Informatica (2) Legal Capacity (1) Logica (1) Logica matematica (1) Matematica (1) MB3 (1) programmazione (1) should-i-happen-upon (1) theorem proving (1) Type of Law (1) Ufficio (1)

Traduzione delle etichette attiva

Informazioni generali

Non ci sono ancora dati nella Conoscenza comune per questo autore. Puoi aiutarci.

Utenti

Statistiche

Opere: 4
Utenti: 18
Popolarità: #630,789

ISBN: 5
Lingue: 1

Immagini

Galleria dell'autore

Collegamenti

Centro di assistenza

I membri di LibraryThing migliorano gli autori combinando nomi di autori e opere, separando gli autori omonimi in identità distinte e altro ancora.

Centro di assistenza

Sei tu?

Diventa un autore di LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.