Ergebnisse
|
1.
|
Theory of formal systems by Raymond M. Smullyan von Reihen: ; 47,rev | Annals of mathematics studies ; 47,rev
Auflage: Rev. ed.
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Princeton, NJ Princeton Univ. Press 1961
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AOMS 47 2.Ex, ...
|
|
2.
|
|
|
3.
|
|
|
4.
|
Theory of formal systems by Raymond M. Smullyan von Reihen: ; 47 | Annals of mathematics studies ; 47
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Princeton, NJ Princeton Univ. Press 1961
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AOMS 47,2.
|
|
5.
|
Forever undecided a puzzle guide to Gödel by Raymond Smullyan von
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Oxford [u.a.] Oxford Univ. Pr. 1988
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SMU r 1988:1 1.Ex.
|
|
6.
|
First-order logic Raymond M. Smullyan von Reihen: Dover books on mathematics
Auflage: 1. publ.
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: New York [u.a.] Dover Publications 1995
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SMU r 1995:1 3.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
|
|
7.
|
Set theory and the continuum problem Raymond M. Smullyan; Melvin Fitting von
Auflage: Rev. and corr. republ.
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Mineola, N.Y. Dover Publ. 2010
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SMU r 2010:1 1.Ex, ...
|