Zum Inhalt springen

Gabbay, Dov M. [VerfasserIn]; Šechtman, Valentin B. [VerfasserIn]; Skvortsov, Dmitrij P. [VerfasserIn]

Quantification in nonclassical logic / 1

Schließen

Merkliste

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

Amsterdam; Heidelberg [u.a.]: Elsevier, 2009

Erschienen in: Quantification in nonclassical logic / D. M. Gabbay; V. B. Shehtman; D. P. Skvortsov - Studies in logic and the foundations of mathematics ; 153
Shoenfield, Joseph R. [VerfasserIn]

Mathematical logic

Schließen

Merkliste

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

Natick, Mass.: A.K. Peters [u.a.], 2001
Barwise, Jon [HerausgeberIn]

Handbook of mathematical logic - [7th impression]

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., 1991

Erschienen in: Studies in logic and the foundations of mathematics ; 9000
Crossley, John N. [VerfasserIn]

Constructive order types

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., 1969

Erschienen in: Studies in logic and the foundations of mathematics
Łukasiewicz, Jan [VerfasserIn] ; Borkowski, Ludwik [Sonstige Person, Familie und Körperschaft]

Selected works

Schließen

Merkliste

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

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

Erschienen in: Studies in logic and the foundations of mathematics
Idelʹson, A. V. [Sonstige Person, Familie und Körperschaft]; Idel'son, A. V. [BearbeiterIn]

Matematičeskaja teorija logičeskogo vyvoda : sbornik perevodov

Schließen

Merkliste

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

Moskva: Izd. Nauka, 1967

Erschienen in: Matematičeskaja logika i osnovanija matematiki
Wright, Georg Henrik von [VerfasserIn]

"And then"

Schließen

Merkliste

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

Helsinki: Societas Scientiarum Fennica, 1966

Erschienen in: Commentationes physico-mathematicae ; 32,7
Hackstaff, L. H. [VerfasserIn]

Systems of formal logic

Schließen

Merkliste

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

Dordrecht: Reidel, 1966
Tavanec, Petr V. [Sonstige Person, Familie und Körperschaft]; Tavanec, I. V. [Sonstige Person, Familie und Körperschaft] ; Akademija nauk SSSR

Primenenie logiki v nauke i technike

Schließen

Merkliste

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

Moskva: Izdat. Akad. Nauk SSSR, 1960
Hintikka, Jaakko [VerfasserIn]

Notes on the quantification theory

Schließen

Merkliste

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

Helsingfors: Acad. Bookstore [u.a.], 1955

Erschienen in: Commentationes physico-mathematicae ; 17,12
Hintikka, Jaakko [VerfasserIn]

A new approach to sentential logic

Schließen

Merkliste

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

Helsingfors: Acad. Bookstore [u.a.], 1953

Erschienen in: Commentationes physico-mathematicae ; 17,2
Wright, Georg Henrik von [VerfasserIn]

On the logic of negation

Schließen

Merkliste

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

Helsingfors: Acad. Bookstore [u.a.], 1959

Erschienen in: Commentationes physico-mathematicae ; 22,4
Korfhage, Robert R. [VerfasserIn]

Logic and algorithms : with applications to the computer and information sciences - [2. print]

Schließen

Merkliste

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

New York [u.a.]: Wiley, 1967
Stewart, Ian [VerfasserIn]; Tall, David [VerfasserIn]

The foundations of mathematics - [2. ed.]

Schließen

Merkliste

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

Oxford: Oxford University Press, 2015
Gabbay, Dov M. [VerfasserIn]

Fibring logics

Schließen

Merkliste

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

Oxford [u.a.]: Clarendon, 1999

Erschienen in: Oxford logic guides ; 3800
De Swart, Harrie [VerfasserIn]

Logic : mathematics, language, computer science, and philosophy

Schließen

Merkliste

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

Frankfurt am Main [u.a.]: Lang, 1993-
Fraenkel, Abraham Adolf [VerfasserIn]

Set theory and logic

Schließen

Merkliste

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

Reading, Mass.: Addison-Wesley, 1966

Erschienen in: Addison-Wesley series in logic- Adiwes international series
Freytag-Löringhoff, Bruno von [VerfasserIn]

Logik

Schließen

Merkliste

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

Stuttgart; Berlin; Köln; Mainz: Kohlhammer, 1955-

Erschienen in: Urban-Bücher ; .
Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn]

Modal logic - [4. print. with corr.]

Schließen

Merkliste

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

Cambridge [u.a.]: Cambridge Univ. Press, 2010

Erschienen in: Cambridge tracts in theoretical computer science ; 53,2010
Paris, J. B. [VerfasserIn]

The uncertain reasoner's companion : a mathematical perspective - [1st paperback version]

Schließen

Merkliste

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

Cambridge [u.a.]: Cambridge University Press, 2006

Erschienen in: Cambridge tracts in theoretical computer science ; 36,2006

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