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
Microwave measurement technologies
Theory of automatic adjustment systems. Course notes
The family of processors for the digital processing of adsp-21xx signals
Methods of analysis and control in ceramics
Numerical methods applied in chemical engineering. Pascal applications
Aluminophosphate bottles for optics and optoelectronics
Sealing joints in waterproofed concrete structures (English translation)
NE 035-2006: Norm for the operation and rehabilitation of pipes for water transport
C 125-2013: Normative regarding acoustics in constructions and urban areas
Diagnostic elements in inflammatory bowel diseases
Michelangelo Buonarroti. Creativity and creation
Biology tests for grades V-VIII
Advanced Imaging and Telemetry Underwater
From SCADA to INDUSTRY 4.0
Computer aided design of Spice and VHDL electronic circuits
Electrical engineering. Electromagnetic systems. Electromagnetic field calculation
Electromagnetic field theory
Electrotechnical materials
The basics of quantum mechanics
The theory of special relativity
Genesis of material structures and field effects
Internet services
Pseudo-random signal processing for cryptology. A chaos-theory based perspective
AutoCAD 2D ed.2
Implementing ethical principles in engineering, ethical challenges of emerging technologies
Modeling the company’s activity
Circular economy and technological innovation: strategies for sustainability
Differential equations and equations with partial derivatives. Analytical and numerical methods. Course notes and engineering applications
Second order semilinear differential inclusions in Banach spaces
Applications in numerical methods
Installations and equipment for the use of non-polluting mechanical energy. Use of wind energy
Vibrations of railway vehicles
Software tools for mechanical engineering
Storage, treatment and recycling of waste and recoverable materials
Dynamics and control of pollutants in the biosphere. Laboratory guidance
Geography of marine energy resources
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Global climate and sustainable development problems (book in Russian)
Environmental monitoring systems using microwave radiometric techniques
Experimental results and simulations of advanced optoelectronic devices
Materials for electronics and optoelectronics
Optoelectronics. Problems
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. 4/2022
Installation engineering magazine no. 1/2023
Installation engineering magazine no. 3/2023
International Journal of User-System Interaction No. 1/2020
International Journal of User-System Interaction No. 1/2019
International Journal of User-System Interaction No. 4/2020
Bulletin of Romanian Chemical Engineering Society 1/2017
Bulletin of Romanian Chemical Engineering Society 2/2015
Bulletin of Romanian Chemical Engineering Society 1/2015
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
Human-computer interaction. Laboratory guidance
Vlad Posea
15,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
124,00
lei
Add to cart
Information processing. Laboratory guidance
Cristina Nichiforov, Grigore Stamatescu
10,00
lei
Add to cart