Refine your search
Availability
-
Authors
- Atanasiu, Adrian
- Barbat, Ioana
- Barendregt, H. P
- Barwise, Jon
- Blyth, T. S.
- Chuaqui, R
- Cori, Rene
- Costa, Newton C. A. ...
- Feferman, Solomon
- Heilweil, M. F.
- Hilbert, David
- Hristea, Nicolae Cri...
- Kooi, Barteld Pieter
- Livovschi, L.
- Moisil, Grigore
- Nievergelt, Yves
- Ponasse, D.
- Priest, Graham
- Simovici, Dan
- Tandareanu, N.
- Show more
- Show less
-
Item types
-
Series
- A modern introductio...
- Actualites Scietifiq...
- Algorithms and combi...
- Collected logical wo...
- Collection U. Serie ...
- Colrcao CLE
- Dover books on mathe...
- Elements de mathemat...
- Enciclopedia de buzu...
- Memoirs of the Ameri...
- Memoirs of the Ameri...
- Perspectives in math...
- Studies in Logic
- Studies in logic and...
- Transphilosophiques
- Show more
- Show less
-
Topics
- Algebra
- Algebra, Universal
- Algebraic varieties
- Data security
- Logic, Symbolic and ...
- M-pseudo-BCK Algebra...
- Mathematical logic
- Mathematical logic (...
- Mathematical logic –...
- Non-commutative Alge...
- Nonclassical mathema...
- Ordered algebraic st...
- Programming language...
- Proof theory
- Pseudo-BCK Algebras
- Set theory
- Symbolic and mathema...
- Symbolic and mathema...
- Symbolic logic (Math...
- Unsolvability (Mathe...
- Show more
- Show less