Passer au contenu principal

Photo de l'auteur

Melvin Fitting

Auteur de Set Theory and the Continuum Problem

9 oeuvres 110 utilisateurs 0 critiques

Œuvres de Melvin Fitting

Populaires Récent

Set Theory and the Continuum Problem (1996) 56 exemplaires

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

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

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

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

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

Raymond Smullyan on Self Reference (2017) — Directeur de publication — 4 exemplaires

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

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

Explorateur d'oeuvres

Étiqueté

11.7 (1) 125A (1) A lire (2) automatic theorem proving (1) Bibliotheca 011 shelf #3 (1) boîte 12 (1) boîte 50 (1) boîte 6 (1) Computing Science (1) Continuum (1) continuum problem (1) DH (1) Ea 290 (1) Fondements des mathématiques (1) get this (3) Godel's theorem (2) incompleteness theory (1) Infini (2) Informatique (2) Informatique (1) intensional logic (1) Intuitionnisme (1) la_4 (1) Logique (13) Logique mathématique (1) Massive Misprints (1) Math3.6 (1) Mathematical Forcing (1) Mathematical Independence (1) Mathematics - Set Theory (1) Mathématiques (10) non-fiction (1) Paradoxe de Russell (1) Philosophie de la religion (1) Philosophy/Logic (1) professionel (1) sets (1) Théorie des ensembles (7) Théorie des modèles (1) Théorie des nombres (1)

Traduction des mots-clés activée

Partage des connaissances

Sexe: male

Membres

Vous aimerez peut-être aussi

Auteurs associés

Brian Rayman Editor

Statistiques

Œuvres: 9
Membres: 110
Popularité: #176,729
Évaluation: 5.0

ISBN: 24
Langues: 1

Tableaux et graphiques

Voir plus de tableaux et graphiques

Photos

Galerie des auteurs

Liens

Centre d'aide

Les membres de LibraryThing améliorent les auteurs en combinant les noms d'auteurs et les œuvres, en séparant les auteurs homonymes en identités distinctes, et bien plus encore.

Est-ce vous ?

Devenez un(e) auteur LibraryThing.

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

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.