English
Română
2
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Elements of applied mathematics in robotics
Theory of automatic adjustment systems. Course notes
Basics of digital circuit design
Static simulation of chemical processes using the UniSim Design simulator
Bulletin of Romanian Chemical Engineering Society 1/2017
Bulletin of Romanian Chemical Engineering Society 2/2025
Numerical methods with applications in hydraulics. Part I
Special problems of building infrastructure. Foundation reinforcement and verticalization of inclined buildings
Regulation on state quality control in construction
Turbulence in the Heliosphere
The lesson plan. Teacher’s creative act
Under the sign of Mihail Kogălniceanu
Digital signal processing: fundamental concepts, advanced techniques, applications
Applications in digital systems
Real-time systems. Laboratory guidance
The influence of alternating voltage corona discharge on the characteristics of overhead power lines
Numerical modeling of the electromagnetic field
High voltage power stations
Physical optics. Fundamentals
General physics course I
Statistical physics
Computer numerical application seminar
AutoCAD 2D ed.2
Principles and techniques of information protection in computer networks
Product marketing
Economic dynamics. Dynamics of chaotic systems, ed.2
Human Resources Management (App Guidance)
Elementary itinerary in higher algebra
Numerical methods in algebra
Fourier series and integral transformations
Roloff / Matek Machine Parts (German translation)
Construction machinery, mineral exploitation and technologies for constructions and road works, vol 1 + 2
Software in mechanical engineering. Matlab applications
Infectious pathology transmitted through water
Discover the world of water from molecule to policy. An integrated approach for future environmental engineers
Acquisition techniques, monitoring and diagnosis of environmental quality. Laboratory guidance
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 6 – Job description for mowers
No. 2 – Safety and health at work for mowers
No. 3 – Procedures for cleaning chimneys
Geometric cartridges
Elementary combinatorics problems. Counting, graphs, games
Discovering Geometry: An Axiomatic Approach
Global Ecoinformatics. Theory and Applications
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Wireless process management systems
Document processing using XML and Perl
Influence of Repetitions on Discourse and Semantic Analysis
Advanced Natural Language Processing Techniques for Question Answering and Writing Evaluation
High capacity photonic memories
Optoelectronics
Optical systems for communications
Electrical engineering treaty. Sensors and transducers
Electrical engineering treaty. Electrical transmission systems
Explanatory dictionary of electrical engineering
Ebook
BookViewer Information
Digital books
PC 1/1-1993: Diagnostic guide degradation status and remedial methods + corrosion protection elements of concrete degraded in
Romanian Journal of Civil Engineering 3/2014
ST 023-1999 Technical specification regarding the quality control of the execution of natural gas distribution systems using medium density polyethylene pipes. Quality requirements, verification procedures. ST 024-2000 Technical specification regarding execution technologies and verification procedures for natural gas distribution systems with polyethylene pipes
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/2025
Installation engineering journal no. 4/2022
Installation engineering journal no. 3/2024
Synthesis of theoretical and applied mechanics 2/2021
Synthesis of theoretical and applied mechanics 1/2021
Syntheses of theoretical and applied mechanics 1/2022
International Journal of User-System Interaction No. 1/2021
International Journal of User-System Interaction No. 1/2023
International Journal of User-System Interaction No. 2/2023
Bulletin of Romanian Chemical Engineering Society 2/2025
Bulletin of Romanian Chemical Engineering Society 1/2023
Bulletin of Romanian Chemical Engineering Society 1/2017
Romanian Journal of Civil Engineering no. 3/2023
Romanian Journal of Civil Engineering 4/2017
Romanian Journal of Civil Engineering No. 4/2019
Romanian magazine of human-computer interaction 2/2015
Romanian magazine of human-computer interaction 1/2018
Romanian magazine of human-computer interaction 2/2013
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
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
102,00
lei
Add to cart
Numerical calculation techniques
George Mahalu
65,00
lei
Add to cart
Advanced control strategies for networked/distributed systems – theory and applications
Constantin-Florin Caruntu, Anca Maxim, Corneliu Lazar
65,00
lei
Add to cart