English
Română
3
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Automation and instrumentation. Selection of published articles “Automation and instrumentation” magazine 2003-2013
Neural networks for data exploration
Neuro-fuzzy-genetic architectures used in shape recognition
Modeling and simulation of diffusion controlled reactions in radical polymerization
Interphase transfer operations
Elements of environmental chemistry
Brochure 09 – Constructions for river and maritime transport – with updated values
GP 112-2004: Guide on the design, execution and operation of polymer membrane coverings made “in situ”
Tf’81 – District heating. Quotation norm indicator
Michelangelo Buonarroti. Creativity and creation
Under the sign of the Cantemir dynasty
T.O.R.C.H. – Diagnostic and prophylaxis news
Wavelet processing of radar signals
Fundamentals of VLSI structure design
The issue of routing in packet switched networks
Smart electrical networks. The networks of the future
Energy scenarios for the future. Climate-neutral mobility, heating and industry
Electrical engineering treaty. Electrical transmission systems
Fundamental chapters of modern physics: vol.1 – quantum physics
Elements of mathematical physics for technical education
Algorithms for estimating solar energy
Computer programming in C language. Problems solved and commented
Computer networks and internet vol.5
International Journal of User-System Interaction No. 2/2022
Sensory analysis of food products. Laboratory manual
Strategic development management or a development strategy for Romania
Economic and financial analysis. Theory and applications
Geometry of vector spaces. Theory and applications
Basics of mathematics updated by efficiency
170 geometry problems
Applications in SAP IDES ERP
Fundamental elements of tribology. Friction-lubricating
Internal combustion engines. Piston group
Environmental Engineering
Discover the world of water from molecule to policy. An integrated approach for future environmental engineers
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
No. 11 – Holy Protective Fathers of Coșer
No. 1 – 25 questions and answers for mowers
No. 4 – Procedures for cleaning and degreasing the hotel
Geometric cartridges
Discovering Geometry: An Axiomatic Approach
Examples and counterexamples in mathematical analysis. Functions of a variable
Microwave measurement technologies
Information technologies for the environmental investigations
Environmental monitoring systems using microwave radiometric techniques
Cognitive ergonomics: theories, models, applications
Advanced Natural Language Processing Techniques for Question Answering and Writing Evaluation
Designing Next-Generation Digital Libraries with Advanced Natural Language Processing Techniques: A Computational Semantics Approach
Photonic processors
Sensors and actuators used in industrial processes
Optoelectronics. Problems
Electrical engineering treaty. Sources of electricity
Electrical engineering treaty. Electric drive systems
Electrical engineering treaty. Electrotechnology
Ebook
BookViewer Information
Digital books
Autocad for topography
Combinatorics and graph theory through exercises and problems
Technical norms regarding the conditions for the design and placement of constructions, installations and means of advertising in the area of roads of national interest, on bridges, passages, viaducts, in road tunnels, as well as the arrangement of access roads to roads of national interest, with the exception of sectors of national roads located within the urban areas of municipalities/county residences that are under the administration of local councils
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. 4/2022
Installation engineering journal no. 3/2024
Installation engineering journal no. 3/2023
Synthesis of theoretical and applied mechanics 2/2020
Syntheses of theoretical and applied mechanics 2/2022
Synthesis of theoretical and applied mechanics 1/2020
International Journal of User-System Interaction No. 3/2020
International Journal of User-System Interaction No. 1/2019
International Journal of User-System Interaction nr. 4/2023
Bulletin of Romanian Chemical Engineering Society 2/2015
Bulletin of Romanian Chemical Engineering Society 2/2024
Bulletin of Romanian Chemical Engineering Society 1/2023
Romanian Journal of Civil Engineering 2/2018
Romanian Journal of Civil Engineering 3/2016
Romanian Journal of Civil Engineering No. 3/2019
Romanian magazine of human-computer interaction 4/2013
Romanian magazine of human-computer interaction 4/2018
Romanian magazine of human-computer interaction 3/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
Numerical calculation techniques
George Mahalu
65,00
lei
Add to cart
Human-computer interaction. Laboratory guidance
Vlad Posea
17,00
lei
Add to cart
Introduction to Python and Qt
Dan V. Popa
78,00
lei
Add to cart