English
Română
0
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Industrial type programmable controllers
Power ultrasound implementation in industry
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Thermodynamics of glassy oxide systems
Dynamics of chemical systems
Chemistry of air pollutants
Brochure 13 – Houses, hostels, hotels
I 31-1999: Standard for the design and execution of liquefied petroleum gas (LPG) supply systems
H2’81 – Port hydrotechnical constructions. Quotation norm indicator
The evolution of urban agglomerations
Memories from the life of a university teacher
Late modern civilization from the Romanian space
The architecture of microprocessors. Laboratory guidance
Basics of analog and digital communication systems. Part I
Modern Approaches in Microelectronics Design Projects
Electrical circuit theory
Electrical installations in construction. Execution and maintenance
Electrohydraulic deformation
Nonlinear dynamics, chaos and noise in experimental systems
Fundamental chapters of modern physics: vol. 2 – structure and properties of the solid
Electricity and magnetism
Programming in Matlab. Applications
Computer Networks and Internet Vol. 1
Personal computers. Architecture, operation and interconnection
Basics of management
Competence qualification model, using learning outcomes for technical engineering education
Industrial management in the circular economy. Vol.1 Theoretical Concepts
Differential equations and partial differential equations with applications
Introduction to combinatorial analysis
Contributions to the study of subgroup lattices
Fundamental elements of tribology. Friction-lubricating
The mechanics of continuous media
Theory, model and experiment in the dynamics of percussion systems
Air quality inside residential buildings. Guide. Best practices for the design, construction, operation and maintenance of housing (English translation)
Waste
Environmental investigation
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Global climate and sustainable development problems (book in Russian)
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
Global Ecoinformatics. Theory and Applications
Materials for electronics and optoelectronics
Experimental results and simulations of advanced optoelectronic devices
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/2023
Installation engineering magazine no. 4/2023
Installation engineering magazine no. 2/2022
International Journal of User-System Interaction No. 4/2019
International Journal of User-System Interaction No. 2/2020
International Journal of User-System Interaction No. 1/2021
Bulletin of Romanian Chemical Engineering Society 1/2014
Bulletin of Romanian Chemical Engineering Society 2/2015
Bulletin of Romanian Chemical Engineering Society 1/2017
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
The basics of e-commerce. A technological perspective
Doru Tiliute
48,00
lei
Add to cart
Human-computer interaction. Laboratory guidance
Vlad Posea
15,00
lei
Add to cart
Fundamentals of microprocessor architecture, 2nd edition revised and added
Lucian N. Vintan
180,00
lei
Add to cart