Zum Inhalt springen

Fitting, Melvin [VerfasserIn]

Incompleteness in the land of sets

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: College Publ., 2007

Erschienen in: Studies in logic ; 5
Fitting, Melvin [VerfasserIn]

Types, tableaus, and Gödel's God

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer Academic Publishers, 2002

Erschienen in: Trends in logic ; 12
Fitting, Melvin [VerfasserIn]

First-order logic and automated theorem proving - [2. ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Heidelberg [u.a.]: Springer, 1996

Erschienen in: Graduate texts in computer science
Fitting, Melvin [VerfasserIn]

Proof methods for modal and intuitionistic logics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Reidel, 1983

Erschienen in: Synthese <Dordrecht> / Library ; 16900
Fitting, Melvin [VerfasserIn]

Fundamentals of generalized recursion theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [usw.]: North-Holland Publ. Co., 1981

Erschienen in: Studies in logic and the foundations of mathematics ; 10500
Fitting, Melvin [VerfasserIn]

Intuitionistic logic, model theory and forcing

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland Publ. Co., 1969

Erschienen in: Studies in logic and the foundations of mathematics
Fitting, Melvin [HerausgeberIn]; Orlowska, Ewa [Sonstige Person, Familie und Körperschaft]

Beyond two : theory and applications of multiple valued logic : with 19 tables

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg [u.a.]: Physica-Verl., 2003

Erschienen in: Studies in fuzziness and soft computing ; 11400
Fitting, Melvin [VerfasserIn]; Mendelsohn, Richard L. [VerfasserIn]

First-order modal logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht; Boston [u.a.]: Kluwer Academic, 1999

Erschienen in: Synthese <Dordrecht> / Library ; 27700
Fitting, Melvin [Sonstige Person, Familie und Körperschaft] ; ScienceDirect (Online service)

Intuitionistic logic, model theory and forcing

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam: North-Holland, 1969 ; Online-Ausg.: 2010

Erschienen in: Studies in Logic and the Foundations of Mathematics ; v. 54- Studies in logic and the foundations of mathematics
Fitting, Melvin [VerfasserIn] ; ScienceDirect (Online service)

Fundamentals of generalized recursion theory

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect) (Deutschlandweit zugänglich)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; New York: North-Holland Pub. Co, c1981 ; New York: Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, c1981 ; Online-Ausg.]

Erschienen in: Studies in logic and the foundations of mathematics ; 105
Fitting, Melvin [VerfasserIn]

Fixpoint Semantics for Logic Programming a Survey

Online ansehen
Schließen

Zugang

https://ssrn.com/abstract=3148638

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S.l.]: SSRN, [2018]

Erschienen in: Mathematics Preprint Archive ; Vol. 2001, Issue 7, pp 1050-1081
Fitting, Melvin [VerfasserIn]

Types, Tableaus, and Gödel’s God

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht: Springer, 2002

Erschienen in: Trends in Logic, Studia Logica Library ; 12- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Fitting, Melvin

A Family of Strict/Tolerant Logics

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2021

Erschienen in: Journal of Philosophical Logic
Fitting, Melvin

Strict/Tolerant Family Continued: Quantifiers and Modalities

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Victoria University of Wellington Library, 2021

Erschienen in: The Australasian Journal of Logic
Fitting, Melvin

Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Victoria University of Wellington Library, 2021

Erschienen in: The Australasian Journal of Logic
Fitting, Melvin

What Are Justification Logics?

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2019

Erschienen in: Fundamenta Informaticae
Fitting, Melvin

Logic, Language, and Computation: Quasi-Realization

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2017

Erschienen in: Logic, Language, and Computation
Fitting, Melvin

On Modalities and Quantifiers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2017

Erschienen in: Fundamenta Informaticae
Fitting, Melvin

Paraconsistent Logic, Evidence, and Justification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2017

Erschienen in: Studia Logica
Fitting, Melvin

Paraconsistent Logic, Evidence, and Justification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer, 2017

Erschienen in: Studia Logica: An International Journal for Symbolic Logic

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr