English
Română
8
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Systems theory. Collection of problems. Analysis of linear systems in the presence of non-deterministic external signals
Virtual instrumentation. Digital signal processing applications
Dynamic prediction of values in next generation microprocessors
Bulletin of Romanian Chemical Engineering Society 1/2025
Nuclear power at 75 years old
Electroceramics. Ceramic conductors and semiconductors
Modern design of the asphalt mixture recipe
Modeling the operation of equipment and thermal systems related to buildings. Collection of solved problems and applications
Technical regulations regarding the design and execution of water-sewer works
The 3D Heliosphere discovered by Ulysses mission
Expertise of road accidents through modern European methods
The lesson plan. Teacher’s creative act
Electronic circuits
Image analysis and processing
Modern Network Applications and Reference Architectures
Symbolic, numerical-symbolic and numerical simulation of analog circuits: program usage guides
Notions of electrical circuit theory. Signals. Laws, theorems and methods of analysis
Electricity management. Application Guide
General physics course I
Structural and magnetic analysis of compounds with rare earths
Physical optics. Fundamentals
Virtual reality
Computer aided graphics. Theory and applications
Practical Java course
MI-5 integrated management treaty for SMEs vol 2
Basics of management
Manual for writing qualification and study programs used in vocational education and training and higher education
Mathematical analysis. Part I – Differential calculus
Linear algebra with engineering applications
Discovering Geometry: An Axiomatic Approach
Automation of quality control in car construction
Lifting equipment, machinery and industrial robots in construction. Operation, actuation, dynamics, control vol 1 + 2
Elements of tribology
Rehabilitation of water supply systems
Geography of marine energy resources
Management of living aquatic resources in Romania’s mountain river basins, according to European Union legislation
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No.9 – Solid wood-fuel
No. 10 – Fire prevention rules and measures
No. 3 – Procedures for cleaning chimneys
Geometric cartridges
Examples and counterexamples in mathematical analysis. Functions of a variable
170 geometry problems
Global Ecoinformatics. Theory and Applications
Global climate and sustainable development problems (book in Russian)
Environmental monitoring systems using microwave radiometric techniques
Introduction to human-computer interaction
The quality of interactive systems. Studies and experiments
Designing Next-Generation Digital Libraries with Advanced Natural Language Processing Techniques: A Computational Semantics Approach
Photonic processors
Optoelectronic devices
Materials for electronics and optoelectronics
Electrical engineering treaty. Sources of electricity
Electrical engineering treaty. Electric drive systems
Electrical engineering treaty. Reliability, diagnosis and calibration elements
Ebook
BookViewer Information
Digital books
Catalog 100 – Foundations and scaffolding to support equipment
Organization of geodesic works
Oxide matrices reinforced with glass fibers
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. 3/2022
Installation engineering journal no. 4/2022
Installation engineering journal no 4/2024
Synthesis of theoretical and applied mechanics 2/2011
Synthesis of theoretical and applied mechanics 2/2020
Syntheses of theoretical and applied mechanics 1/2024
International Journal of User-System Interaction No. 1/2020
International Journal of User-System Interaction No. 3/2019
International Journal of User-System Interaction No. 2/2020
Bulletin of Romanian Chemical Engineering Society 2/2022
Bulletin of Romanian Chemical Engineering Society 1/2024
Bulletin of Romanian Chemical Engineering Society 1/2019
Romanian Journal of Civil Engineering nr. 4/2025
Romanian Journal of Civil Engineering no. 2/2022
Romanian Journal of Civil Engineering 2/2016
Romanian magazine of human-computer interaction 3/2017
Romanian magazine of human-computer interaction 4/2014
Romanian magazine of human-computer interaction 3/2016
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
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 4
Marin Vlada - editor coordonator
167,00
lei
Add to cart