Salta al contenuto principale

Come join our latest LibraryThing Hunt!

Foto dell'autore

Melvin Fitting

Autore di Set Theory and the Continuum Problem

9 opere 109 membri 0 recensioni

Opere di Melvin Fitting

Popolari Recenti

Set Theory and the Continuum Problem (1996) 55 copie

First-Order Logic and Automated Theorem Proving (1990) 18 copie

Incompleteness in the Land of Sets (Studies in Logic) (2007) 11 copie

Types, Tableaus, and Gödel's God (2002) 7 copie

Intuitionistic logic, model theory and forcing (Studies in logic and the foundations of mathematics) (1969) 5 copie

Proof Methods for Modal and Intuitionistic Logics (1983) 4 copie

Raymond Smullyan on Self Reference (2017) — A cura di — 4 copie

Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides) (1987) 3 copie

Beyond two : theory and applications of multiple-valued logic (2013) 2 copie

Esplora le opere

Etichette

11.7 (1) 125A (1) automatic theorem proving (1) Bibliotheca 011 shelf #3 (1) Box 50 (1) computazione (1) Computing Science (1) Continuum (1) continuum problem (1) da leggere (2) DH (1) Ea 290 (1) Filosofia della religione (1) foundations of mathematics (1) get this (3) Godel's theorem (2) incompleteness theory (1) Infinito (2) Informatica (2) intensional logic (1) Intuizionismo (1) la_4 (1) Libero professionista (1) Logica (13) Logica matematica (1) Massive Misprints (1) Matematica (10) Math3.6 (1) Mathematical Forcing (1) Mathematical Independence (1) Mathematics - Set Theory (1) Paradosso di Russell (1) Philosophy/Logic (1) Saggistica (1) scatola 12 (1) scatola 6 (1) sets (1) Teoria degli insiemi (7) Teoria dei modelli (1) Teoria dei numeri (1)

Traduzione delle etichette attiva

Informazioni generali

Sesso: male

Utenti

Potrebbero anche piacerti

Autori correlati

Brian Rayman Editor

Statistiche

Opere: 9
Utenti: 109
Popolarità: #178,011
Voto: 5.0

ISBN: 24
Lingue: 1

Grafici & Tabelle

Vedi altri Grafici e tabelle

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.