Zum Inhalt springen

Smullyan, Raymond M. [Sonstige Person, Familie und Körperschaft]

A beginner's guide to mathematical logic

Online ansehen
Schließen

Schließen

Merkliste

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

Mineola, New York: Dover Publications, 2014
Smullyan, Raymond M. [Verfasser:in]

Satan, Cantor und die Unendlichkeit und 200 weitere verblüffende Tüfteleien

Online ansehen
Schließen

Schließen

Merkliste

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

Basel; Boston; Berlin; [Stuttgart]: Birkhäuser, 1993
Smullyan, Raymond M. [Verfasser:in] ; Smullyan, Raymond M. [Sonstige Person, Familie und Körperschaft]

Dame oder Tiger? : logische Denkspiele u. eine mathematische Novelle über Gödels große Entdeckung - [2. Aufl., 7. - 10. Tsd.]

Online ansehen
Schließen

Schließen

Merkliste

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

[Frankfurt (Main)]: Krüger, 1983
Smullyan, Raymond M. [Verfasser:in]

Kak že nazyvaetsja eta kniga : perevod s anglijskogo

Schließen

Merkliste

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

Moskva: Izd. Mir, 1981
Smullyan, Raymond M. [Verfasser:in]

Teorija formalʹnych sistem

Schließen

Merkliste

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

Moskva: Nauka, 1981

Erschienen in: Matematičeskaja logika i osnovanija matematiki
Smullyan, Raymond M. [Verfasser:in] ; Tuschmann, Wilderich [Sonstige Person, Familie und Körperschaft]

Satan, Cantor und die Unendlichkeit und 200 weitere verblüffende Tüfteleien - [1. Aufl.]

Schließen

Merkliste

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

Frankfurt am Main; Leipzig: Insel-Verl., 1997

Erschienen in: Insel-Taschenbuch ; 1899
Smullyan, Raymond M. [Verfasser:in]

Diagonalization and self-reference - [Reprinted]

Schließen

Merkliste

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

Oxford: Clarendon Press, 1996

Erschienen in: Oxford logic guides ; 2700
Smullyan, Raymond M. [Verfasser:in]

Gödel's incompleteness theorems

Online ansehen
Schließen

Schließen

Merkliste

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

Oxford [u.a.]: Oxford Univ. Press, 1992

Erschienen in: Oxford logic guides ; 1900
Smullyan, Raymond M. [Verfasser:in]

Recursion theory for metamathematics

Online ansehen
Schließen

Schließen

Merkliste

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

New York; Oxford: Oxford University Press, 1993

Erschienen in: Oxford logic guides ; 2200
Smullyan, Raymond M. [Verfasser:in]

First-order logic

Schließen

Merkliste

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

Berlin; Heidelberg; New York: Springer, 1968

Erschienen in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 43
Smullyan, Raymond M. [Verfasser:in]

Theory of formal systems

Schließen

Merkliste

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

Princeton, NJ: Princeton Univ. Press, 1961

Erschienen in: Annals of mathematics studies ; 47
Smullyan, Raymond M. [Verfasser:in]

Theory of formal systems - [Rev. ed.]

Schließen

Merkliste

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

Princeton, NJ: Princeton Univ. Press, 1961

Erschienen in: Annals of mathematics studies ; 47,rev
Smullyan, Raymond M. [Sonstige Person, Familie und Körperschaft]; Fitting, Greer [Sonstige Person, Familie und Körperschaft]

Alisa v strane smekalki

Schließen

Merkliste

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

Moskva: "Mir", 1987
Smullyan, Raymond M. [Verfasser:in]

Gödel's incompleteness theorems

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

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

New York: Oxford University Press, 2020

Erschienen in: Oxford logic guides ; 19 - Oxford scholarship online
Smullyan, Raymond M. [Verfasser:in]

Recursion theory for metamathematics

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

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

New York: Oxford University Press, 2020

Erschienen in: Oxford logic guides ; 22 - Oxford scholarship online
Smullyan, Raymond M. [Verfasser:in]

First-Order Logic

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1968

Erschienen in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 43 - Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, A Series of Modern Surveys in Mathematics ; 43 - SpringerLink ; Bücher - Springer eBook Collection ; Mathematics and Statistics
Smullyan, Raymond M. [Verfasser:in]

Theory of Formal Systems : (AM-47)

Online ansehen
Schließen

Zugang

... zum E-Book via De Gruyter

Schließen

Merkliste

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

Princeton, NJ: Princeton University Press, 2016

Erschienen in: Annals of mathematics studies ; 47
Beineke, Jennifer [Sonstige Person, Familie und Körperschaft]; Rosenhouse, Jason [Sonstige Person, Familie und Körperschaft]; Smullyan, Raymond M. [Sonstige Person, Familie und Körperschaft]

The Mathematics of Various Entertaining Subjects : Research in Recreational Math

Online ansehen
Schließen

Zugang

... zum E-Book via De Gruyter

Schließen

Merkliste

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

Princeton, NJ: Princeton University Press, [2016]
Smullyan, Raymond M.

Truth and Provability

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, 2013

Erschienen in: The Mathematical Intelligencer, 35 (2013) 1, Seite 21-24
Smullyan, Raymond M.

An Isomorphism Related to Gödel's Fundamental Operations

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.

Oxford University Press (OUP), 2004

Erschienen in: Logic Journal of IGPL, 12 (2004) 6, Seite 439-445

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