000			00498nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9783030044718
100			_aMaria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli
245		0	_aQuantum Computation and Logic
250			_a1st ed. 2018
260			_bSpringer International Publishing _c2018
440			_aTrends in Logic
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-3-030-04471-8
999			_c11871 _d11871