English
Română
1
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Systems theory. Collection of problems. Frequency analysis of linear systems
Elements of automation of knitting machines
Artificial intelligence in installations
Nuclear power at 75 years old
Physical chemistry of aggregation states
Dinitrophenols. From banned weight loss drugs to controversial ones, to treatments in agriculture
NP 134-2014: Normative regarding the geotechnical design of depletion works
NP 112-2014: Norm regarding the design of surface foundations
NP 061-2002: Regulations for the design and execution of artificial lighting systems in buildings, amended according to Ord. M.D.L.P.A. no. 205/2023
Pills for living people
Dessertacia
English triangle
Microwave measurement technologies
Modern Network Applications and Reference Architectures
Reliability of technical systems
Electrical engineering treaty. Electrotechnology
Computer-assisted analysis of the sensitivities and tolerances of analog circuits
Synchronous machine. Optimal analysis and synthesis
Physics (I)
Elements of statistical physics
Collection of problems solved by grid physics. For baccalaureate and admission to higher education
International Journal of User-System Interaction No. 3/2021
Logical programming and functional programming. Theory and applications
The architecture of computing systems. Theoretical and practical applications
Quality management. Theory and applications
Reform and management in the higher education system and continuing university vocational training
Commercial legislation. Theory and cases
Optimization and applications. Abstract spaces, efficiency, immediate and perspective projections
The paradigm of using matrices in Matlab
Differential equations and partial differential equations. Theory and applications
Hyperbaric technologies for unitary and saturation diving
Synthesis of theoretical and applied mechanics 3/2016
Treatise on metallurgical technological equipment and automatic driving vol. 1 + 2 + 3
Methods and equipment for preventing environmental pollution
Environmental Hygiene
The impact of materials and energy upon environment
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Microwave remote sensing tools and ecoinformatics
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Global Ecoinformatics. Theory and Applications
Optoelectronics. Laboratory guidance
Optoelectronic devices
Experimental results and simulations of advanced optoelectronic devices
Journals
Installation engineering magazine
Synthesis of theoretical and applied mechanics
Magazine of installations - stopped publication in 2020
International Journal of User-System Interaction
Bulletin of Romanian Chemical Engineering Society
Romanian Journal of Civil Engineering
Romanian Journal of Human-Calculator Interaction - stopped publication in 2018
Installation engineering magazine no. 1/2021
Installation engineering magazine no. 4/2022
Installation engineering magazine no. 1/2023
International Journal of User-System Interaction nr. 1/2022
International Journal of User-System Interaction No. 2/2021
International Journal of User-System Interaction No. 2/2020
Bulletin of Romanian Chemical Engineering Society 2/2015
Bulletin of Romanian Chemical Engineering Society 1/2017
Bulletin of Romanian Chemical Engineering Society 1/2014
Software
EBOOK
Books at 5 lei
Deals
Home
/
Books
/
Informatics
/ Introduction to Mathematical and Computational Logic
Introduction to Mathematical and Computational Logic
de
Mihaela Poienariu
Universitatea "Spiru Haret" București
ISBN: 978-606-25-0777-0
Limba: Română
Suport: Hârtie
46,00
lei
Add to cart
View Content
Related products
Fundamentals of microprocessor architecture, 2nd edition revised and added
Lucian N. Vintan
180,00
lei
Add to cart
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
92,00
lei
Add to cart
Introduction to Python and Qt
Dan V. Popa
71,00
lei
Add to cart