✧ SciGator ✧

Explore University of Pavia libraries...

Browse subclasses ↓ ...then launch a search by the buttons beside [help]

it / en

↑	`511`	general principles of mathematics	≈ `E.0`
↑	`511.3`	mathematical logic, computability	→ `005.1 ≈ E.1`
↑	`511.32`	sets	≈ `E.2`
↑	`511.35`	recursitivy, cellular automata, λ calculus
↑	`511.4`	approximations, error	→ `518.5 ≈ I.9`
↑	`511.5`	graph theory	≈ `F.1`
↑	`511.6`	combinatorics	≈ `F.0`

See also:

↑ 26                   → 511
↑ 261                   → 511.3
↑ 274                   → 511.5
↑ 005.1                programming   → 511.3 519.7
↑ 160                logic   → 510.1 511.3
↑ 518.5                numerical approximation   → 511.4 ≈ :O.2
↑ E.0                    ≈ 511 MSC 03
↑ E.1                   → :ZE.0 ≈ 511.3 MSC 03 tranne 03E, 03H
↑ E.2                    ≈ 511.32 MSC 03E
↑ E.97                    ≈ 511 MSC 03H
↑ E.98                    ≈ 511 esclusi dal prestito
↑ F.0                    ≈ 511.6 MSC 05
↑ F.1                    ≈ 511.5 MSC 05C
↑ F.97                    ≈ 511.6
↑ I.9                    ≈ 511.4 MSC 41
CG                Combinatorial theories    ≈ 511.6
LC                Logic and computability    ≈ 511.3

SciGator: explore University of Pavia libraries... — <http://scigator.unipv.it/indexe.php> : 2017.02.14 - 2024.11.12 -
« <http://www-dimat.unipv.it/biblio/dewey.php> : 2015.06.18 - 2017

↑	`26`		→ `511`
↑	`261`		→ `511.3`
↑	`274`		→ `511.5`
↑	`005.1`	programming	→ `511.3 519.7`
↑	`160`	logic	→ `510.1 511.3`
↑	`518.5`	numerical approximation	→ `511.4 ≈ :O.2`
↑	`E.0`		≈ `511` MSC 03
↑	`E.1`		→ `:ZE.0 ≈ 511.3` MSC 03 tranne 03E, 03H
↑	`E.2`		≈ `511.32` MSC 03E
↑	`E.97`		≈ `511` MSC 03H
↑	`E.98`		≈ `511` esclusi dal prestito
↑	`F.0`		≈ `511.6` MSC 05
↑	`F.1`		≈ `511.5` MSC 05C
↑	`F.97`		≈ `511.6`
↑	`I.9`		≈ `511.4` MSC 41
	`CG`	Combinatorial theories	≈ `511.6`
	`LC`	Logic and computability	≈ `511.3`