Refine your search
Availability
-
Authors
- Roman Sikorski
- A. G. Dragalin
- Adam, Andras
- Buchi, Richard J
- Clarke, D. A
- Cohen, Paul J.
- Culbertson, James T
- Davis, Martin
- Hasenjaeger, G.
- Kaluzhnin, Lev Arkad...
- Karri, Haskell B
- Kolmogorov, A. N
- Leningradskij Ordena...
- Levy, Azriel
- Marcus, Solomon
- Mendel'son, E
- Myshkis, A. D
- Ponasse, Daniel
- Sullivan, Mark W
- Whitesitt, Eldon J
- Show more
- Show less
-
Item types
-
Series
- Addison-Wesley serie...
- Colectia Biblioteca ...
- Colectia Seminaire d...
- Colectia Traite de p...
- Collection de logiqu...
- Collection de Mathem...
- Collection SIGMA
- Lecture Notes in Mat...
- Lectures notes in ma...
- McGraw-Hill series i...
- Monografie Matematyc...
- Seria Annals of math...
- Seria Biblioteka sbo...
- Seria Die Grundlehre...
- Seria Memoirs of the...
- Seria Sovremennye pr...
- Serie A
- Serie E
- Studies in logic and...
- Studies in logic and...
- Show more
- Show less
-
Topics
- Algebra
- Algoritmi
- Calcul predicativ
- Calcul propozitional
- Functii booleene
- Functii recursive
- Logica
- Logica inductiva
- Logica matematica
- logica matematica
- Logica predicativa
- Logica propozitional...
- logica simbolica
- Sisteme logice
- Teoria algoritmilor
- Teoria grafurilor
- Teoria multimilor
- Teoria probabilitati...
- Teza de doctorat
- Topologie
- Show more
- Show less