Skip to contents

Wright, Georg Henrik von [Author]

On the logic of negation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Commentationes physico-mathematicae ; 22,4
Gabbay, Dov M. [Author]; Šechtman, Valentin B. [Author]; Skvortsov, Dmitrij P. [Author]

Quantification in nonclassical logic / 1

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published 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. [Author]

Mathematical logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Natick, Mass.: A.K. Peters [u.a.], 2001
Mints, G. E. [Author]

Selected papers in proof theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Napoli [u.a.]: Bibliopolis [u.a.], 1992

Published in: Studies in proof theory / Monographs ; 3
Barwise, Jon [Editor]

Handbook of mathematical logic - [7th impression]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

Constructive order types

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Studies in logic and the foundations of mathematics
Łukasiewicz, Jan [Author] ; Borkowski, Ludwik [Other]

Selected works

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Studies in logic and the foundations of mathematics
Idelʹson, A. V. [Other]; Idel'son, A. V. [Adapter]

Matematičeskaja teorija logičeskogo vyvoda : sbornik perevodov

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Moskva: Izd. Nauka, 1967

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

"And then"

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Helsinki: Societas Scientiarum Fennica, 1966

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

Systems of formal logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht: Reidel, 1966
Tavanec, Petr V. [Other]; Tavanec, I. V. [Other] ; Akademija nauk SSSR

Primenenie logiki v nauke i technike

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Notes on the quantification theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Commentationes physico-mathematicae ; 17,12
Hintikka, Jaakko [Author]

A new approach to sentential logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Commentationes physico-mathematicae ; 17,2
Blackburn, Patrick [Author]; Rijke, Maarten de [Author]; Venema, Yde [Author]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Cambridge tracts in theoretical computer science ; 53.2010
Malinowski, Grzegorz [Author]

Many-valued logics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford: Clarendon Press, 1993

Published in: Oxford logic guides ; 2500
Paris, J. B. [Author]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Cambridge tracts in theoretical computer science ; 36.2006
Hodel, Richard E. [Author]

An introduction to mathematical logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; London: PWS Pub. Co, 1995
Galton, Antony [Author]

Logic for information technology

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chichester; New York; Brisbane: Wiley, 1990
Johnstone, Peter [Author]; Johnstone, P. T. [Author]

Notes on logic and set theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Pr., 1987

Published in: Cambridge mathematical textbooks
Korfhage, Robert R. [Author]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Wiley, 1967

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication