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
Numerical methods in systems optimization
Real-time systems. Laboratory guidance
Automation in construction
Bulletin of Romanian Chemical Engineering Society 1/2014
Chemistry of air pollutants
Nonlinear dynamics
Crushers used in the building materials industry
NE 013-2002: Code of practice for the execution of prefabricated concrete elements, reinforced concrete, prestressed concrete
RTC 2-2022 Regulation on minimum performance criteria for tents from the point of view of the fire safety requirement
Biology tests for grades V-VIII
Course notes and practical papers for the FMAM student
English triangle
Operational amplifiers
Technical optics
Numerical methods in electronics with applications in C language
Electrical engineering treaty. From robots to the virtual enterprise
The basics of electrical engineering
Electric drives with wired logic. Starting three-phase asynchronous motors
Physics (I)
General physics course I
Geometrodynamics of spatio-temporal deformations with applications in astrophysics and cosmology
Internet communication protocols
Conceptual and applicative in logical and functional programming
Introduction to Python and Qt
Sustainable development of tourism in coastal areas. Case study tourism development of the Halkidiki peninsula (Greece)
Quality management. Theory and applications
Process and product quality control
Introduction to functional analysis. Infinite, finite matrices, stability
Overall efficiency and global optimization
Recent results in the geometry of warped product submanifolds
Thermodynamics. Laboratory work
Influence of surface defects on durability to contact fatigue
Elasticity of solids
Environmental legislation. Theory and applications
Tailings ponds. Risk management
Reliability of equipment in wastewater treatment plants
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Information technologies for the environmental investigations
Wireless process management systems
Environmental monitoring systems using microwave radiometric techniques
Dielectric and magnetic devices
Optoelectronics. Laboratory guidance
Optoelectronics. Problems
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/2022
Installation engineering magazine no. 3/2023
Installation engineering magazine no. 4/2023
International Journal of User-System Interaction nr. 1/2022
International Journal of User-System Interaction No. 3/2019
International Journal of User-System Interaction No. 4/2020
Bulletin of Romanian Chemical Engineering Society 1/2014
Bulletin of Romanian Chemical Engineering Society 1/2017
Bulletin of Romanian Chemical Engineering Society 2/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
Logical programming and functional programming. Theory and applications
Mihaela Oprea
59,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 3
Marin Vlada - editor coordonator
151,00
lei
Add to cart
Initiation in Java through theoretical reviews and applications
Adrian Marius Deaconu, Gabriela Moise, Lucian Mircea Sasu
33,00
lei
Add to cart