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
Modeling complex systems
Systems theory. Collection of problems. Frequency analysis of linear systems
Elements and systems of graphic processing. Fundamentals and applications of computer graphics
Physical chemistry of aggregation states
Design of oxide nanomaterials with spinel structure. From synthesis to applications
Eternal magnetism is an enigma
Modeling and simulation of systems in the field of construction installations
Installation automation. Automatic controls
GP 115-2011: Design guide for crack control of solid elements and reinforced concrete structural walls
Dessertacia
Nonstandard Counterfactuals in English
Under the sign of Dragomir Hurmuzescu
Optoelectronics. Problems
Image quality from concept definition to applications
Medical imaging. Laboratory guidance
Electric cars
Analog circuit analysis using S-parameters and Smith chart
Permanent regimes of electromechanical converters
Fundamental chapters of modern physics: vol. 2 – structure and properties of the solid
Electromagnetic optics. Theory and applications
Physical optics. Fundamentals
Personal computers. Architecture, operation and interconnection
User interface design with the React library
Conceptual and applicative in logical and functional programming
Manual for writing qualification and study programs used in vocational education and training and higher education
Project Management
Sustainable and sustainable development in ecosocioeconomicotechnological complexes
Mathematical problems with statements and solutions given at the 1993-2013 tenure competitions
Numerical calculation techniques
Perspective, axonometry and shadows
Dynamics of railway vehicles. Study of wheel-rail contact. Project applications
Introduction to tensor calculus
Vibrations. Numerical and experimental applications
Wastewater treatment systems
Environmental quality management. Applications
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 4 – Procedures for cleaning and degreasing the hotel
No. 5 – Procedures for cleaning ventilation systems
No.9 – Solid wood-fuel
Elementary combinatorics problems. Counting, graphs, games
Discovering Geometry: An Axiomatic Approach
170 geometry problems
Environmental monitoring systems using microwave radiometric techniques
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Microwave measurement technologies
Evolved human-computer interface
Conversational interaction in collaborative systems on the Web
Cognitive ergonomics: theories, models, applications
High capacity photonic memories
Experimental results and simulations of advanced optoelectronic devices
Photonic crystals and tweezers
Electrical engineering treaty. Electrotechnology
Electrical engineering treaty. Low voltage electrical installations. Elements of audit and home automation
Electrical engineering treaty. From robots to the virtual enterprise
Ebook
BookViewer Information
Digital books
Structural and magnetic analysis of compounds with rare earths
Introduction to computer science and engineering. Hardware-software interface
Energy processes and installations with thermodynamic conversion
Journals
Installation engineering journal
Synthesis of theoretical and applied mechanics
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 journal no. 1/2022
Installation engineering journal no. 1/2025
Installation engineering journal no 2/2024
Synthesis of theoretical and applied mechanics 2/2021
Synthesis of theoretical and applied mechanics 3/2019
Synthesis of theoretical and applied mechanics 4/2019
International Journal of User-System Interaction No. 4/2020
International Journal of User-System Interaction No. 2/2022
International Journal of User-System Interaction No. 1/2020
Bulletin of Romanian Chemical Engineering Society 1/2025
Bulletin of Romanian Chemical Engineering Society 1/2017
Bulletin of Romanian Chemical Engineering Society 1/2023
Romanian Journal of Civil Engineering no. 1/2022
Romanian Journal of Civil Engineering No. 3/2019
Romanian Journal of Civil Engineering no. 1/2021
Romanian magazine of human-computer interaction 4/2017
Romanian magazine of human-computer interaction 1/2009
Romanian magazine of human-computer interaction 3/2018
Software
Books at 5 lei
Publish with us
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
51,00
lei
Add to cart
View Content
Related products
Fundamentals of microprocessor architecture, 2nd edition revised and added
Lucian N. Vintan
199,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 1
Marin Vlada - editor coordonator
137,00
lei
Add to cart
The basics of e-commerce. A technological perspective
Doru Tiliute
53,00
lei
Add to cart