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
Computer systems architecture. Application guide
Mechatronic and micromechatronic applications
The family of processors for the digital processing of adsp-21xx signals
Static simulation of chemical processes using the UniSim Design simulator
Electrochemistry and corrosion
Dinitrophenols. From banned weight loss drugs to controversial ones, to treatments in agriculture
AND 514-2022: Regulation regarding the reception of road and bridge maintenance works
PCC 022-2024 Procedure regarding state control at concrete production plants
Foundations – general elements regarding the design of foundations
Modern materials and techniques, innovative in cranial surgery
The average modern civilization in the Romanian space
Homework – between the stereotype of old school and the need for personal development of primary school students
Introduction to the design, verification and testing of analog integrated circuits. Practical applications using LTSpice and LabVolt
Communication systems. General knowledge and representative architectures
Dielectric and magnetic devices
Introduction to high frequency electromagnetic field theory
Electrical engineering treaty. From robots to the virtual enterprise
Lighting. Laboratory work guide
Problems of quantum mechanics – 2nd ed
Optics
Electricity and magnetism problems with solutions
Artificial intelligence. Project guidance
Numerical analysis. Course, applications, pseudocode algorithms and calculation programs
Virtual instrumentation in LabView. Theory and applications
Project Management
Qualifications vs. competent, for all to understand
Management of the education and continuous professional training system
Basics of mathematics updated by efficiency
Funktionentheorie. Vorlesungen und Aufgaben fur die Studenten
Elements of set theory
Method of transfer matrices in the study of linear vibrations
Vibrations of straight bars. Numerical study
Non-polluting refrigeration systems
Reliability of equipment in wastewater treatment plants
Ecology and environment protection
Rapita, a culture with ecological values. Biology, ecology and culture technology
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 5 – Procedures for cleaning ventilation systems
No.9 – Solid wood-fuel
No. 4 – Procedures for cleaning and degreasing the hotel
Elementary combinatorics problems. Counting, graphs, games
Geometric cartridges
170 geometry problems
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Information technologies for the environmental investigations
Wireless process management systems
Introduction to human-computer interaction
Cognitive ergonomics and human-computer interaction
Cognitive ergonomics: theories, models, applications
High capacity photonic memories
Image quality from concept definition to applications
Optoelectronic devices
Electrical engineering treaty. Electric drive systems
Electrical engineering treaty. Sensors and transducers
Electrical engineering treaty. From robots to the virtual enterprise
Ebook
BookViewer Information
Digital books
Synthesis of theoretical and applied mechanics 2/2010
Energy sources. Solar energy
Particles air pollution
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 2/2024
Installation engineering journal no. 3/2024
Installation engineering journal no. 3/2025
Synthesis of theoretical and applied mechanics 1/2019
Syntheses of theoretical and applied mechanics 2/2024
Synthesis of theoretical and applied mechanics 2/2014
International Journal of User-System Interaction No. 1/2023
International Journal of User-System Interaction No. 3/2023
International Journal of User-System Interaction No. 1/2019
Bulletin of Romanian Chemical Engineering Society 1/2025
Bulletin of Romanian Chemical Engineering Society 2/2025
Bulletin of Romanian Chemical Engineering Society 1/2020
Romanian Journal of Civil Engineering 3/2014
Romanian Journal of Civil Engineering nr. 4/2024
Romanian Journal of Civil Engineering nr. 4/2025
Romanian magazine of human-computer interaction 1/2008
Romanian magazine of human-computer interaction 4/2018
Romanian magazine of human-computer interaction 1/2009
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
Introduction to Python and Qt
Dan V. Popa
78,00
lei
Add to cart
Initiation in Java through theoretical reviews and applications
Adrian Marius Deaconu, Gabriela Moise, Lucian Mircea Sasu
36,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
167,00
lei
Add to cart